1050 results in Journal of Functional Programming
JFP volume 19 issue 5 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
The λ-calculus with constructors: Syntax, confluence and separation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 581-631
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 5 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 14 September 2009, pp. 489-490
-
- Article
-
- You have access
- Export citation
Small-step and big-step semantics for call-by-need
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 07 September 2009, pp. 699-722
-
- Article
-
- You have access
- Export citation
A domain-specific language for experimental game theory
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 07 September 2009, pp. 645-661
-
- 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
JFP volume 19 issue S1 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue S1 / August 2009
- Published online by Cambridge University Press:
- 01 August 2009, pp. b1-b2
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue S1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue S1 / August 2009
- Published online by Cambridge University Press:
- 01 August 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Revised6 Report on the Algorithmic Language Scheme
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue S1 / August 2009
- Published online by Cambridge University Press:
- 01 August 2009, pp. 1-301
-
- Article
-
- You have access
- Export citation
Algebra of programming in Agda: Dependent types for relational program derivation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 23 July 2009, pp. 545-579
-
- Article
-
- You have access
- Export citation
Preface
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 263-264
-
- Article
-
- You have access
- Export citation
Algebras for combinatorial search
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 469-487
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 3-4 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. b1-b8
-
- Article
-
- You have access
- Export citation
Parameterised notions of computation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 335-376
-
- Article
-
- You have access
- Export citation
An induction principle for nested datatypes in intensional type theory
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 439-468
-
- Article
-
- You have access
- Export citation
Big-step normalisation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 311-333
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 3-4 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
The essence of the Iterator pattern
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 377-402
-
- Article
-
- You have access
- Export citation
Categorical semantics for arrows
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 403-438
-
- Article
-
- You have access
- Export citation