Algebra of programming in Agda: Dependent types for relational program derivation.
Shin-Cheng MuHsiang-Shang KoPatrik JanssonPublished in: J. Funct. Program. (2009)
Keyphrases
- data model
- programming environment
- programming education
- programming environments
- computer programs
- relational data
- programming language
- relational model
- relational algebra
- relational learning
- quadratically constrained quadratic
- introductory programming
- program understanding
- automatic programming
- development environment
- bayesian networks
- object oriented
- query language
- relational databases