Selected papers from Dependently Typed Programming 2010 - Overview.

Thorsten Altenkirch Conor McBride

Published in: Math. Struct. Comput. Sci. (2016)

Keyphrases

selected papers
annual conference
international workshop
computer science
invited talk
program committee
higher order
programming language
review process
neural network
dagstuhl castle
conference proceedings
programming environment
computer programming
lecture notes
real world
data sets