Login / Signup
Object-oriented programming in dependent type theory.
Anton Setzer
Published in:
Trends in Functional Programming (2006)
Keyphrases
</>
object oriented programming
programming language
object oriented
programming concepts
exception handling
object oriented languages
functional programming
key concepts
theoretical framework
development tools
object oriented concepts
learning perl
high level