Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.
Andrew K. WrightSuresh JagannathanCristian UngureanuAaron HertzmannPublished in: Types in Compilation (1998)
Keyphrases
- lambda calculus
- programming language
- object oriented
- general purpose
- software engineering
- source code
- program understanding
- predicate calculus
- database query languages
- high level
- data abstraction
- open source
- databases
- database
- complex objects
- database applications
- query language
- data management
- abstract data types
- higher order
- case study
- knowledge base