Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P. Sallé
Échappements Et Continuations en Semantique Dénotationnelle
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Sémantique Logique Et Dénotationnelle Des Interpréteurs PROLOG
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Introducing Continuations
Semantics and Linguistic Theory
The Continuations Saga
Serials Librarian
Library
Information Sciences
Compiling With Continuations, or Without? Whatever.
Proceedings of the ACM on Programming Languages
Formalizing Implementation Strategies for First-Class Continuations
BRICS Report Series
On the Dynamic Extent of Delimited Continuations
BRICS Report Series
Linearly-Used Continuations in the Enriched Effect Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial Aborts for Transactions via First-Class Continuations
Back to Direct Style II: First-Class Continuations
BRICS Report Series
