-
1
-
2
Compiling with Continuations and LLVM
Published 2018-12-01“…While LLVM provides a relatively easy path to high-quality native code, its design is based on a traditional runtime model which is not well suited to alternative compilation strategies used in high-level language compilers, such as the use of heap-allocated continuation closures. This paper describes a new LLVM-based backend that supports heap-allocated continuation closures, which enables constant-time callcc and very-lightweight multithreading. …”
Get full text
Article -
3
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Published 2014-12-01“…This paper relates such semantically motivated non-standard compilation methods to more standard techniques in the compilation of functional programming languages, namely continuation passing and defunctionalization. We first show for the linear {\lambda}-calculus that interpretation in a model of computation by interaction can be described as a call-by-name CPS-translation followed by a defunctionalization procedure that takes into account control-flow information. …”
Get full text
Article -
4
Continuations and Aspects to Tame Callback Hell on the Web
Published 2021-09-01“…In practice, our proposal uses a) continuations to only suspend the current handler execution until the asynchronous operation is resolved, and b) aspects to apply continuations in a non-intrusive way. …”
Get full text
Article -
5
Command injection attacks, continuations, and the Lambek calculus
Published 2016-06-01“…This paper shows connections between command injection attacks, continuations, and the Lambek calculus: certain command injections, such as the tautology attack on SQL, are shown to be a form of control effect that can be typed using the Lambek calculus, generalizing the double-negation typing of continuations. …”
Get full text
Article -
6
An Operational Foundation for Delimited Continuations in the CPS Hierarchy
Published 2005-11-01“…We present an abstract machine and a reduction semantics for the lambda-calculus extended with control operators that give access to delimited continuations in the CPS hierarchy. The abstract machine is derived from an evaluator in continuation-passing style (CPS); the reduction semantics (i.e., a small-step operational semantics with an explicit representation of evaluation contexts) is constructed from the abstract machine; and the control operators are the shift and reset family. …”
Get full text
Article -
7
A Modular Structural Operational Semantics for Delimited Continuations
Published 2016-06-01Get full text
Article -
8
On co-operative modalities in the formulation of Mandarin Chinese turn-continuations
Published 2021“…In this report, I focus on the action of constructing further talk as continuing past a possibly complete turn (a.k.a. turn-continuations) in Mandarin Chinese (henceforth Chinese), and argue how it constitutes a particularly rich environment for multiple systems of organization to “co-operate” in pursuit of interactional goals.…”
Get full text
Book Chapter -
9
Continuations intra- et interphrastiques du français : premiers résultats expérimentaux
Published 2012-07-01“…Continuations intra et interphrastiques du français : premiers résultats expérimentaux Cet article rend compte d’un certain nombre d’observations pour l’étude des continuations mineures et majeures en français. …”
Get full text
Article -
10
-
11
On the uniqueness of continuation of a partially defined metric
Published 2022-11-01Subjects: Get full text
Article -
12
On S? -continuous and ? * S -continuous Functions
Published 2019-07-01“…- open sets , S? - continuous functions and ? * S - continuous . …”
Get full text
Article -
13
Dissociating predictability, plausibility and possibility of sentence continuations in reading: evidence from late-positivity ERPs
Published 2018-10-01“…The aim of the current study is twofold: (1) to replicate this dissociation of ERP effects for plausibility violations and prediction mismatch in a different language, and (2) to test an additional contrast within implausible words, comparing impossible and possible sentence continuations. Our results replicate DeLong, Quante & Kutas (2014) with different materials in a different language, showing graded effects for predictability and plausibility at the level of the N400, a dissociation of plausible and implausible, anomalous continuations in posterior late positivities and an effect of prediction mismatch on late positivities at left-frontal sites. …”
Get full text
Article -
14
-
15
Effects of Aging and Dual-Task Demands on the Comprehension of Less Expected Sentence Continuations: Evidence From Pupillometry
Published 2019-03-01“…Separate mixed effects models were fit for language comprehension, motor tracking, and pupil size, showing the following: (1) dual-task demands led to age-related comprehension difficulties when target words were less expected (as opposed to very highly expected), (2) integration difficulty in older adults was related to cognitive overload as less expected sentence continuations progressed over time, resulting in behavioral trade-offs between language comprehension and motor tracking, and (3) lower levels of working memory were predictive of whether or not older adults experienced cognitive overload when processing less expected words. …”
Get full text
Article -
16
-
17
Learning continuous models for continuous physics
Published 2023-11-01“…Abstract Dynamical systems that evolve continuously over time are ubiquitous throughout science and engineering. …”
Get full text
Article -
18
Between strong continuity and almost continuity
Published 2010-04-01Subjects: “…(almost) strongly θ-continuous function…”
Get full text
Article -
19
-
20