Using LLVM for a Functional Programming Language Implementation.
Nikola CiprichPublished in: EJC (2011)
Keyphrases
- programming language
- functional language
- functional programming
- high level programming language
- data abstraction
- general purpose
- object oriented
- programming tool
- specification language
- high level
- programming environment
- object oriented programming
- computer programs
- logic programming
- strongly typed
- denotational semantics
- software engineering
- machine learning
- java language
- database languages
- domain specific languages
- database management systems
- proof planning
- end users
- object oriented concepts
- concurrent programming