Towards a practical programming language based on dependent type theory
Doctoral thesis, 2007
dependent types
type theory
metavariables
programming
pattern matching
type checking
Author
Ulf Norell
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Connecting a Logical Framework to a First-Order Logic Prover.
FroCos 2005,;(2005)p. 285-301
Paper in proceeding
Subject Categories
Computer Science
ISBN
978-91-7291-996-9
Technical report D - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University: 33
Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 2677
EC
Opponent: Conor McBride