Login / Signup

A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.

Viviana BonoLuigi Liquori
Published in: CSL (1994)
Keyphrases
  • lambda calculus
  • programming language
  • d objects
  • database systems
  • program understanding