Login / Signup

Type Reconstruction in Finite Rank Fragments of the Second-Order lambda-Calculus

A. J. KfouryJerzy Tiuryn
Published in: Inf. Comput. (1992)
Keyphrases
  • lambda calculus
  • database query languages
  • higher order
  • programming language
  • type checking
  • co occurrence