Lazy Evaluation and Delimited Control

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-6(3:1)2010
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Applicative Bisimulations for Delimited-Control Operators

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Lazy Evaluation for Concurrent OLTP and Bulk Transactions

2016English

Lazy Evaluation in Penniless Propagation Over Join Trees

Networks
Information SystemsComputer NetworksHardwareCommunicationsArchitectureSoftware
2002English

Delimited Dynamic Binding

ACM SIGPLAN Notices
Computer Science
2006English

Delimited Dynamic Binding

2006English

Semantics of Lazy Evaluation Using the Two-Level Grammar

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2008English

THEORETICAL PEARL: A Simple Proof of a Folklore Theorem About Delimited Control

Journal of Functional Programming
Software
2005English

Lazy Arithmetic

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1997English

Practical Typed Lazy Contracts

ACM SIGPLAN Notices
Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy