Publikationsansicht

General Terms Languages, Theory (2008)

Hongwei Xi,
Chiyan Chen

Abstract

Although we have since found a variety of applications of guarded recursive (g.r.) datatype constructors, we initially encountered this notion in a study on run-time typepassing. In parametric polymorphism, there is no facility

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.119.8094
Quelle	http://www.cs.bu.edu/~hwxi/academic/papers/popl03.ps
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.39.1243, 10.1.1.135.8794, 10.1.1.41.548, 10.1.1.17.4285, 10.1.1.28.4059, 10.1.1.17.6369, 10.1.1.53.1106, 10.1.1.51.53, 10.1.1.54.7639, 10.1.1.27.295, 10.1.1.25.7343