Amanote Research

Amanote Research

    RegisterSign In

Échappements Et Continuations en Semantique Dénotationnelle

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-09981-6_21
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 1980

Authors
P. Sallé
Publisher

Springer Berlin Heidelberg


Related search

Sémantique Logique Et Dénotationnelle Des Interpréteurs PROLOG

RAIRO - Theoretical Informatics and Applications
MathematicsComputer Science ApplicationsSoftware
1988English

Introducing Continuations

Semantics and Linguistic Theory
2015English

The Continuations Saga

Serials Librarian
LibraryInformation Sciences
1991English

Compiling With Continuations, or Without? Whatever.

Proceedings of the ACM on Programming Languages
2019English

Formalizing Implementation Strategies for First-Class Continuations

BRICS Report Series
1999English

On the Dynamic Extent of Delimited Continuations

BRICS Report Series
2005English

Linearly-Used Continuations in the Enriched Effect Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Partial Aborts for Transactions via First-Class Continuations

2015English

Back to Direct Style II: First-Class Continuations

BRICS Report Series
1996English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy