Dependent Types in Practical Programming.

Hongwei Xi Frank Pfenning

Published in: POPL (1999)

Keyphrases

real world
database
real time
databases
three dimensional
practical application
computer programming
neural network
machine learning
general purpose
programming language
object oriented programming
high level language