11 results
StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 15 April 2021, e9
-
- Article
-
- You have access
- Export citation
Modal dependent type theory and dependent right adjoints
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 2 / February 2020
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 28 / 2018
- Published online by Cambridge University Press:
- 22 November 2018, e20
-
- Article
-
- You have access
- Open access
- Export citation
A step-indexed Kripke model of hidden state
-
- Journal:
- Mathematical Structures in Computer Science / Volume 23 / Issue 1 / February 2013
- Published online by Cambridge University Press:
- 31 August 2012, pp. 1-54
-
- Article
- Export citation
The impact of higher-order state and control effects on local relational reasoning
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 22 / Issue 4-5 / September 2012
- Published online by Cambridge University Press:
- 15 August 2012, pp. 477-528
-
- Article
-
- You have access
- Export citation
Realisability semantics of parametric polymorphism, general references and recursive types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 4 / August 2010
- Published online by Cambridge University Press:
- 02 July 2010, pp. 655-703
-
- Article
- Export citation
Hoare type theory, polymorphism and separation1
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 02 September 2008, pp. 865-911
-
- Article
-
- You have access
- Export citation
Categorical models for Abadi and Plotkin's logic for parametricity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 4 / August 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 709-772
-
- Article
- Export citation
Foreword
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 237-238
-
- Article
-
- You have access
- Export citation
Local realizability toposes and a modal logic for computability
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 319-334
-
- Article
- Export citation
A General Notion of Realizability
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 2 / June 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 266-282
- Print publication:
- June 2002
-
- Article
- Export citation