Publikationsansicht

CPS Transform and Type Derivations in Dependent ML (Extended Abstract) (2007)

Hongwei Xi

Abstract

Dependent ML is a functional programming language that extends ML with a restricted form of dependent types. In this paper, we study a call-by-value continuation-passing style (CPS) transform for ML

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.24.9075
Quelle	http://www.cs.yale.edu/~carsten/papers/cpsdml.ps.gz
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.40.2507, 10.1.1.41.548, 10.1.1.27.353, 10.1.1.67.7212, 10.1.1.33.3468, 10.1.1.54.9101, 10.1.1.44.7943, 10.1.1.11.1273, 10.1.1.121.6317, 10.1.1.39.5575, 10.1.1.34.7632