Login / Signup
A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects.
Viviana Bono
Luigi Liquori
Published in:
CSL (1994)
Keyphrases
</>
lambda calculus
programming language
d objects
database systems
program understanding