Login / Signup
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices.
David Binder
Ingo Skupin
Tim Süberkrüb
Klaus Ostermann
Published in:
CoRR (2024)
Keyphrases
</>
software packages
higher order
lambda calculus
object oriented programming
design principles
special case
data sets
mobile robot
original version
additional features
theoretical framework
control system
computational complexity
learning environment
website
information systems
machine learning
databases