A language for specifying type contracts in Erlang and its interaction with success typings.
Miguel JimenezTobias LindahlKonstantinos SagonasPublished in: Erlang Workshop (2007)
Keyphrases
- strongly typed
- type checking
- language learning
- programming language
- human computer interaction
- database programming language
- natural language
- software engineering
- supply chain
- expert systems
- markov chain
- neural network
- computational linguistics
- specification language
- speech acts
- interaction model
- multimodal interaction
- database systems
- knowledge base