Semantics and type checking of dependently-typed lazy functional programs /

Description

Based on the author's D. Phil. Thesis (University of Oxford). / Includes bibliographical references. Available on-line.

Links & Downloads

1. http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-04-15.html

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/76888568
Date	January 2004
Creators	Hünke, Yorck.
Publisher	Oxford : Oxford University Computing Laboratory,
Source Sets	OCLC
Language	English
Detected Language	English