Login / Signup
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