ML Programming in Constructive Type Theory (abstract).
Robert L. ConstablePublished in: TPHOLs (1997)
Keyphrases
- maximum likelihood
- theoretical framework
- website
- real time
- higher level
- grounded theory
- genetic algorithm
- theoretical basis
- high level
- low level
- programming language
- general purpose
- general theory
- development environment
- computational model
- logic programming
- image processing
- artificial intelligence
- real world
- databases
- data sets