Chapter 6: Object-Oriented Programming in Dependent Type Theory.

Saved in:

Bibliographic Details
Title:	Chapter 6: Object-Oriented Programming in Dependent Type Theory.
Authors:	Setzer, Anton¹, a.g.setzer@swan.ac.uk
Source:	Trends in Functional Programming Volume 7; 2007, Vol. 7, p91-108, 18p
Database:	Applied Science & Technology Source

Description
ISBN:	9781841501888