A Hierarchy for Delimited Continuations in Call-by-Name

Alexis Saurin

doi:10.1007/978-3-642-12032-9_26

Communication Dans Un Congrès Année : 2010

A Hierarchy for Delimited Continuations in Call-by-Name

(1, 2)

1
2

Alexis Saurin

Fonction : Auteur
PersonId : 16833
IdHAL : alexis-saurin
IdRef : 233760210

Preuves, Programmes et Systèmes

Design, study and implementation of languages for proofs and programs

Domaines

Langage de programmation [cs.PL] Logique en informatique [cs.LO]

Alexis Saurin : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527925

Soumis le : mercredi 20 octobre 2010-15:59:44

Dernière modification le : vendredi 24 mars 2023-14:52:53

Dates et versions

hal-00527925 , version 1 (20-10-2010)

Identifiants

HAL Id : hal-00527925 , version 1
DOI : 10.1007/978-3-642-12032-9_26

Citer

Alexis Saurin. A Hierarchy for Delimited Continuations in Call-by-Name. 13th International Conference on Software Science and Computational Structures - FOSSACS 2010, Mar 2010, Paphos, Cyprus. pp.374-388, ⟨10.1007/978-3-642-12032-9_26⟩. ⟨hal-00527925⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS INRIA INRIA2

126 Consultations

0 Téléchargements

A Hierarchy for Delimited Continuations in Call-by-Name

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager