13 results
Blame and coercion: Together again for the first time
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 31 / 2021
- Published online by Cambridge University Press:
- 13 October 2021, e20
-
- Article
-
- You have access
- Open access
- Export citation
Leibniz equality is isomorphic to Martin-Löf identity, parametrically
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 30 / 2020
- Published online by Cambridge University Press:
- 17 June 2020, e17
-
- Article
-
- You have access
- Export citation
Gradual session types
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 18 November 2019, e17
-
- Article
-
- You have access
- Open access
- Export citation
COCHIS: Stable and coherent implicits
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 08 February 2019, e3
-
- Article
-
- You have access
- Export citation
Propositions as sessions*
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 24 / Issue 2-3 / May 2014
- Published online by Cambridge University Press:
- 31 January 2014, pp. 384-418
-
- Article
-
- You have access
- Export citation
The arrow calculus
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 20 / Issue 1 / January 2010
- Published online by Cambridge University Press:
- 26 January 2010, pp. 51-69
-
- Article
-
- You have access
- Export citation
Monadic constraint programming
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 14 August 2009, pp. 663-697
-
- Article
-
- You have access
- Export citation
Comprehending monads†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 4 / December 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 461-493
-
- Article
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-2
-
- Article
-
- You have access
- Export citation
Functional programming in education – Introduction
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 1 / January 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 3-4
-
- Article
-
- You have access
- Export citation
Type systems for object-oriented programming
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 2 / April 1994
- Published online by Cambridge University Press:
- 07 November 2008, p. 125
-
- Article
-
- You have access
- Export citation
The call-by-need lambda calculus
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 3 / May 1998
- Published online by Cambridge University Press:
- 01 May 1998, pp. 275-317
-
- Article
-
- You have access
- Export citation
EDITORIAL: A HOT opportunity
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 2 / March 1997
- Published online by Cambridge University Press:
- 01 March 1997, pp. 127-128
-
- Article
-
- You have access
- Export citation