Deriving Dependently-Typed OOP from First Principles.

David Binder Ingo Skupin Tim Süberkrüb Klaus Ostermann

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

object oriented programming
higher order
artificial intelligence
information technology
theoretical framework
key concepts
fixed order
information retrieval
database systems
objective function
multi agent
hidden markov models
programming language
building blocks
book covers
legal issues