Dependently Typed Programming (NII Shonan Meeting 2011-3).

Shin-Cheng Mu Conor McBride Stephanie Weirich

Published in: NII Shonan Meet. Rep. (2011)

Keyphrases

higher order
programming language
computer programming
data sets
general purpose
object oriented programming
programming environment
databases
real world
object oriented
speech recognition
programming course
program understanding
lambda calculus