Linearly-Used Continuations in the Enriched Effect Calculus

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-12032-9_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

The Enriched Effect Calculus: Syntax and Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2012English

The Continuations Saga

Serials Librarian
LibraryInformation Sciences
1991English

Introducing Continuations

Semantics and Linguistic Theory
2015English

On the Dynamic Extent of Delimited Continuations

BRICS Report Series
2005English

An Operational Foundation for Delimited Continuations in the CPS Hierarchy

BRICS Report Series
2005English

Compiling With Continuations, or Without? Whatever.

Proceedings of the ACM on Programming Languages
2019English

The Effect of Chlorhexidine on Dental Calculus Formation: An in Vitro Study

BMC Oral Health
Dentistry
2018English

Échappements Et Continuations en Semantique Dénotationnelle

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1980English

The Calculus Concept Inventory–Measurement of the Effect of Teaching Methodology in Mathematics

Notices of the American Mathematical Society
Mathematics
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy