1050 results in Journal of Functional Programming
Automatic verification of functions with accumulating parameters
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 225-245
-
- Article
-
- You have access
- Export citation
The semantics of future and an application
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 1-31
-
- Article
-
- You have access
- Export citation
Advanced Functional Programming: Lecture Notes in Computer Science 925 edited by Johan Jeuring and Erik Meijer, Springer-Verlag, 1995.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 105-111
-
- Article
-
- You have access
- Export citation
de Bruijn notation as a nested datatype
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 77-91
-
- Article
-
- You have access
- Export citation
Explaining binomial heaps
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 93-104
-
- Article
-
- You have access
- Export citation
Modern Compiler Implementation in ML: Basic Techniques by Andrew W. Appel, Cambridge University Press, 1997, ISBN 0521587751.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 105-111
-
- Article
-
- You have access
- Export citation
Higher-order narrowing with definitional trees
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 33-75
-
- Article
-
- You have access
- Export citation
Advanced Functional Programming edited by John Lauchbury, Erik Meijer and Tim Sheard, Lecture Notes in Computer Science 1129, Springer-Verlag, 1996.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 1 / January 1999
- Published online by Cambridge University Press:
- 01 January 1999, pp. 105-111
-
- Article
-
- You have access
- Export citation
Functorial ML
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 573-619
-
- Article
-
- You have access
- Export citation
Classical logic, continuation semantics and abstract machines
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 543-572
-
- Article
-
- You have access
- Export citation
Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback).
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 633-637
-
- Article
-
- You have access
- Export citation
Diets for fat sets
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 627-632
-
- Article
-
- You have access
- Export citation
Functional unparsing
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 621-625
-
- Article
-
- You have access
- Export citation
Haskell: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1996. Miranda 81: The Craft of Functional Programming by Simon Thompson, Addison-Wesley, 1995.
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 633-637
-
- Article
-
- You have access
- Export citation
Polytypic unification
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 5 / September 1998
- Published online by Cambridge University Press:
- 01 September 1998, pp. 527-536
-
- Article
-
- You have access
- Export citation
Animated fuzzy logic
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 5 / September 1998
- Published online by Cambridge University Press:
- 01 September 1998, pp. 503-525
-
- Article
-
- You have access
- Export citation
ML with Concurrency by Flemming Nielson (ed.), Springer-Verlag, 1997.
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 5 / September 1998
- Published online by Cambridge University Press:
- 01 September 1998, pp. 537-542
-
- Article
-
- You have access
- Export citation
A theory of weak bisimulation for Core CML
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 5 / September 1998
- Published online by Cambridge University Press:
- 01 September 1998, pp. 447-491
-
- Article
-
- You have access
- Export citation
Dynamic tabbing for automatic indentation with the layout rule
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 5 / September 1998
- Published online by Cambridge University Press:
- 01 September 1998, pp. 493-502
-
- Article
-
- You have access
- Export citation
Monadic parsing in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 437-444
-
- Article
-
- You have access
- Export citation