Towards a practical programming language based on dependent type theory
Doktorsavhandling, 2007
dependent types
type theory
metavariables
programming
pattern matching
type checking
Författare
Ulf Norell
Chalmers, Data- och informationsteknik, Datavetenskap
Connecting a Logical Framework to a First-Order Logic Prover.
FroCos 2005,;(2005)p. 285-301
Paper i proceeding
Ämneskategorier
Datavetenskap (datalogi)
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