scientific article; zbMATH DE number 6841179
From MaRDI portal
Publication:4603450
DOI10.23638/LMCS-14(1:11)2018zbMath1398.68080arXiv1710.09469MaRDI QIDQ4603450
Piotr Polesiuk, Dariusz Biernacki
Publication date: 20 February 2018
Full work available at URL: https://arxiv.org/abs/1710.09469
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Inheritance as implicit coercion
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Classical logic, storage operators and second-order lambda-calculus
- Compositional semantics for composable continuations
- Delimited control and computational effects
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform
- Axiomatizing Subtyped Delimited Continuations.
- The impact of higher-order state and control effects on local relational reasoning
- A very modal model of a modern, major, general type system
- Polymorphic Delimited Continuations
- Coherence of subsumption for monadic types
- Coherence of subsumption, minimum typing and type-checking in F ≤
- Representing Control: a Study of the CPS Transformation
- Formulae-as-types for an involutive negation
- The coherence of languages with intersection types
- Subtyping delimited continuations
- State-dependent representation independence
- An Operational Foundation for Delimited Continuations in the CPS Hierarchy
- Interactive proofs in higher-order concurrent separation logic
- Programming Languages and Systems
This page was built for publication:
