Login / Signup
A Fully Abstract Translation between a Lambda-Calculus with Reference Types and Standard ML.
Eike Ritter
Andrew M. Pitts
Published in:
TLCA (1995)
Keyphrases
</>
lambda calculus
programming language
databases
database systems
data warehouse
natural language processing
higher level