1050 results in Journal of Functional Programming
Applications of Plotkin-terms: partitions and morphisms for closed terms
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 5 / September 1999
- Published online by Cambridge University Press:
- 01 September 1999, pp. 565-575
-
- Article
-
- You have access
- Export citation
A tutorial on the universality and expressiveness of fold
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 355-372
-
- Article
-
- You have access
- Export citation
Proof-directed debugging
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 463-469
-
- Article
-
- You have access
- Export citation
Parallel functional programming on recursively defined data via data-parallel recursion
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 427-462
-
- Article
-
- You have access
- Export citation
Red-black trees in a functional setting
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 471-477
-
- Article
-
- You have access
- Export citation
The Functional Approach to Programming by Guy Cousineau and Michel Mauny, Cambridge University Press, 1998, ISBN 0-521-57681-4 pbk, xiv+445pp.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 479-482
-
- Article
-
- You have access
- Export citation
Compilation and equivalence of imperative objects
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 373-426
-
- Article
-
- You have access
- Export citation
Computability and Complexity: From a Programming Perspective by Neil D. Jones, MIT Press, 1997.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 4 / July 1999
- Published online by Cambridge University Press:
- 01 July 1999, pp. 479-482
-
- Article
-
- You have access
- Export citation
Semantics of linear/modal lambda calculus
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 247-277
-
- Article
-
- You have access
- Export citation
A poor man's concurrency monad
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 313-323
-
- Article
-
- You have access
- Export citation
Algebra of Programming by Richard Bird and Oege de Moor, Prentice Hall, 1996 (dated 1997).
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 347-354
-
- Article
-
- You have access
- Export citation
Functional Programming Languages in Education by P. H. Hartel and R. Plasmeijer, editors, Springer-Verlag, 1995.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 347-354
-
- Article
-
- You have access
- Export citation
A pointless derivation of radix sort
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 339-346
-
- Article
-
- You have access
- Export citation
Parallelization of divide-and-conquer by translation to nested loops
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 279-310
-
- Article
-
- You have access
- Export citation
Power series, power serious
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, pp. 325-337
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 01 May 1999, p. 311
-
- Article
-
- You have access
- Export citation
HOLCF = HOL + LCF
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 191-223
-
- Article
-
- You have access
- Export citation
Functional design and implementation of graphical user interfaces for theorem provers
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 167-189
-
- Article
-
- You have access
- Export citation
Transparent optimisation of rewriting combinators
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 113-146
-
- Article
-
- You have access
- Export citation
Implementing theorem provers in a purely functional style
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 2 / March 1999
- Published online by Cambridge University Press:
- 01 March 1999, pp. 147-166
-
- Article
-
- You have access
- Export citation