Login / Signup
Infinite Intersection and Union Types for the Lazy Lambda Calculus.
Marcello M. Bonsangue
Joost N. Kok
Published in:
TACS (2001)
Keyphrases
</>
lambda calculus
programming language
user defined
data structure