1050 results in Journal of Functional Programming
Translation of tree-processing programs into stream-processing programs based on ordered linear type1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / May 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 333-371
-
- Article
-
- You have access
- Export citation
Lightweight family polymorphism*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 3 / May 2008
- Published online by Cambridge University Press:
- 01 May 2008, pp. 285-331
-
- Article
-
- You have access
- Export citation
Caml trading – experiences with functional programming on Wall Street
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 24 April 2008, pp. 553-564
-
- Article
-
- You have access
- Export citation
Data types à la carte
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 18 March 2008, pp. 423-436
-
- Article
-
- You have access
- Export citation
HM(X) type inference is CLP(X) solving
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 251-283
-
- Article
-
- You have access
- Export citation
A type system with usage aspects
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 141-178
-
- Article
-
- You have access
- Export citation
Types and trace effects of higher order programs
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 179-249
-
- Article
-
- You have access
- Export citation
Efficient execution in an automated reasoning environment
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 15-46
-
- Article
-
- You have access
- Export citation
Applicative programming with effects
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 1-13
-
- Article
-
- You have access
- Export citation
An operational semantics for Scheme1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 47-86
-
- Article
-
- You have access
- Export citation
Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 87-140
-
- Article
-
- You have access
- Export citation
Safety of Nöcker's strictness analysis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 08 November 2007, pp. 503-551
-
- Article
-
- You have access
- Export citation
Engineering Software Correctness
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 675-686
-
- Article
-
- You have access
- Export citation
On one-pass CPS transformations
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 793-812
-
- Article
-
- You have access
- Export citation
What is the meaning of these constant interruptions?
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 777-792
-
- Article
-
- You have access
- Export citation
Verification of Reactive Systems by Klaus Schneider Springer Verlag, 2003, 600pp, ISBN 3-540-00296-0.
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 813-814
-
- Article
-
- You have access
- Export citation
A monadic framework for delimited continuations
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 687-730
-
- Article
-
- You have access
- Export citation
Monadic augment and generalised short cut fusion
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 731-776
-
- Article
-
- You have access
- Export citation
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 4 / July 2008
- Published online by Cambridge University Press:
- 17 October 2007, pp. 437-502
-
- Article
-
- You have access
- Export citation
Preface
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, p. 431
-
- Article
-
- You have access
- Export citation