Login / Signup
On Type Inference in the Intersection Type Discipline.
Gérard Boudol
Pascal Zimmer
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
database
image processing
software engineering
maximum likelihood