Fast type reconstruction for dynamically typed programming languages.
Frédéric PluquetAntoine MarotRoel WuytsPublished in: DLS (2009)
Keyphrases
- programming language
- lambda calculus
- strongly typed
- database query languages
- object oriented
- high level
- general purpose
- programming environment
- software engineering
- higher order
- denotational semantics
- logic programming
- object oriented programming
- abstract data types
- computer programs
- expressive power
- specification language
- database languages
- object oriented concepts
- database systems
- complex objects
- data abstraction
- functional language
- query language
- concurrent programming
- artificial intelligence