Singleton: a general-purpose dependently-typed assembly language.
Simon WinwoodManuel M. T. ChakravartyPublished in: TLDI (2011)
Keyphrases
- general purpose
- programming language
- lambda calculus
- special purpose
- domain specific
- programming environment
- language learning
- language processing
- object oriented programming
- expert systems
- higher order
- natural language
- real time
- input output
- search algorithm
- application specific
- english language
- artificial intelligence
- specification language
- information retrieval
- relational databases
- linguistic knowledge
- computational linguistics
- website
- natural language processing