1050 results in Journal of Functional Programming
Persistent triangulations
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 441-466
-
- Article
-
- You have access
- Export citation
Inductive benchmarking for purely functional data structures
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 525-556
-
- Article
-
- You have access
- Export citation
Manufacturing datatypes
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 493-524
-
- Article
-
- You have access
- Export citation
Special issue on Algorithmic aspects of functional programming languages
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 439-440
-
- Article
-
- You have access
- Export citation
Inductive graphs and functional graph algorithms
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 467-492
-
- Article
-
- You have access
- Export citation
Modular lazy search for Constraint Satisfaction Problems
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, pp. 557-587
-
- Article
-
- You have access
- Export citation
Set constraints for destructive array update optimization
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 31 May 2001, pp. 319-346
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL Unfolding pointer algorithms
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 31 May 2001, pp. 347-358
-
- Article
-
- You have access
- Export citation
From Polyvariant flow information to intersection and union types
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 3 / May 2001
- Published online by Cambridge University Press:
- 31 May 2001, pp. 263-317
-
- Article
-
- You have access
- Export citation
Structure and Interpretation of Computer Programs, 2nd Ed by Abelson and Sussman, with Sussman, MIT Press, 1996, ISBN 0-262-51087-1, 657pp.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 253-262
-
- Article
-
- You have access
- Export citation
Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey, MIT Press, 1998.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 253-262
-
- Article
-
- You have access
- Export citation
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 155-206
-
- Article
-
- You have access
- Export citation
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 207-251
-
- Article
-
- You have access
- Export citation
Concurrent Programming in ML by John H. Reppy, Cambridge University Press, 1999, ISBN 0-521-48089-2, xv+308pp.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 253-262
-
- Article
-
- You have access
- Export citation
Term Rewriting and All That by Franz Baader and Tobias Nipkow, Cambridge University Press, 1998, ISBN 0-521-45520-0 (hardback), 301pp.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 253-262
-
- Article
-
- You have access
- Export citation
Introduction to Programming Using SML by M. R. Hansen and H. Rischel, Addison Wesley, 1999, ISBN 0-201-39820-6.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 2 / March 2001
- Published online by Cambridge University Press:
- 12 April 2001, pp. 253-262
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 26 March 2001, p. 1
-
- Article
-
- You have access
- Export citation
A predicative approach to the classification problem
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 26 March 2001, pp. 95-116
-
- Article
-
- You have access
- Export citation
Algorithms with polynomial interpretation termination proof
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 26 March 2001, pp. 33-53
-
- Article
-
- You have access
- Export citation
On characterizations of the basic feasible functionals, Part I
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 26 March 2001, pp. 117-153
-
- Article
-
- You have access
- Export citation