Login / Signup

Infinite Intersection and Union Types for the Lazy Lambda Calculus.

Marcello M. BonsangueJoost N. Kok
Published in: TACS (2001)
Keyphrases
  • lambda calculus
  • programming language
  • user defined
  • data structure