Foundations for structured programming with GADTs.
Patricia JohannNeil GhaniPublished in: POPL (2008)
Keyphrases
- artificial intelligence
- programming language
- data sets
- neural network
- multi agent
- computer programming
- real time
- database
- object oriented programming
- structured data
- programming education
- hands on guide
- fully functional
- unstructured data
- programming environment
- general purpose
- probabilistic model
- expert systems
- search algorithm
- case study
- information systems
- databases