Sciweavers

Share
CSL
2000
Springer

Interactive Programs in Dependent Type Theory

9 years 4 months ago
Interactive Programs in Dependent Type Theory
We introduce basic concepts from object-oriented programming into dependent type theory based on the idea of modelling objects as interactive programs. We consider methods, interfaces, and the interaction between a fixed number of objects, including self-referential method calls. We introduce a monad like syntax for developing objects in dependent type theory.
Peter Hancock, Anton Setzer
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 2000
Where CSL
Authors Peter Hancock, Anton Setzer
Comments (0)
books