1050 results in Journal of Functional Programming
The expressive power of higher-order types or, life without CONS
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 26 March 2001, pp. 55-94
-
- Article
-
- You have access
- Export citation
Automated complexity analysis of Nuprl extracted programs
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 1 / January 2001
- Published online by Cambridge University Press:
- 26 March 2001, pp. 3-31
-
- Article
-
- You have access
- Export citation
An adequate and efficient left-associated binary numeral system in the λ-calculus
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 01 March 2001, pp. 607-623
-
- Article
-
- You have access
- Export citation
Automatic useless-code elimination for HOT functional programs
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 01 March 2001, pp. 509-559
-
- Article
-
- You have access
- Export citation
Compilation of a specialized functional language for massively parallel computers
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 01 March 2001, pp. 561-605
-
- Article
-
- You have access
- Export citation
Special issue on Semantics, Applications, and Implementation of Program Generation
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 6 / November 2000
- Published online by Cambridge University Press:
- 01 March 2001, p. 627
-
- Article
-
- You have access
- Export citation
The λse-calculus does not preserve strong normalisation
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 321-325
-
- Article
-
- You have access
- Export citation
Bee: an integrated development environment for the Scheme programming language
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 353-395
-
- Article
-
- You have access
- Export citation
The Optimal Implementation of Functional Programming Languages by A. Asperti and S. Guerrini, Cambridge University Press, 1998, 392 pp.
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 501-508
-
- Article
-
- You have access
- Export citation
The Haskell School of Expression: Learning Functional Programming Through Multimedia by Paul Hudak, Cambridge University Press, 2000, 363pp, ISBN 0-521-64408-9.
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 501-508
-
- Article
-
- You have access
- Export citation
Combinators for breadth-first search
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 397-408
-
- Article
-
- You have access
- Export citation
Domain-free pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 417-452
-
- Article
-
- You have access
- Export citation
Research Directions in Parallel Functional Programming by Kevin Hammond and Greg Michaelson, editors, Springer-Verlag, 1999.
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 501-508
-
- Article
-
- You have access
- Export citation
Do we need dependent types?
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 409-415
-
- Article
-
- You have access
- Export citation
Uniform confluence in concurrent computation
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 453-499
-
- Article
-
- You have access
- Export citation
Theories of Programming Languages by John C. Reynolds, Cambridge University Press, 1998.
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 5 / September 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 501-508
-
- Article
-
- You have access
- Export citation
Generalizing generalized tries
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 4 / July 2000
- Published online by Cambridge University Press:
- 03 November 2000, pp. 327-351
-
- Article
-
- You have access
- Export citation
A study of evaluation order semantics in expressions with side effects
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 3 / May 2000
- Published online by Cambridge University Press:
- 01 May 2000, pp. 227-244
-
- Article
-
- You have access
- Export citation
A functional reactive animation of a lift using Fran
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 3 / May 2000
- Published online by Cambridge University Press:
- 01 May 2000, pp. 245-268
-
- Article
-
- You have access
- Export citation
Perfect trees and bit-reversal permutations
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 3 / May 2000
- Published online by Cambridge University Press:
- 01 May 2000, pp. 305-317
-
- Article
-
- You have access
- Export citation