Login / Signup
04381 Abstracts Collection - Dependently Typed Programming.
Thorsten Altenkirch
Martin Hofmann
John Hughes
Published in:
Dependently Typed Programming (2004)
Keyphrases
</>
higher order
programming language
object oriented programming
document collections
data sets
digital libraries
programming environment
lambda calculus
search algorithm
relational databases
case based reasoning
computer programs
development environment