View in EDS PDF Full Text

Pure Type System conversion is always typable.

Saved in:
Bibliographic Details
Title: Pure Type System conversion is always typable.
Authors: SILES, VINCENT1, HERBELIN, HUGO2
Source: Journal of Functional Programming. Mar2012, Vol. 22 Issue 2, p153-180. 28p.
Database: Mathematics Source
Description
ISSN:09567968
DOI:10.1017/S0956796812000044