1050 results in Journal of Functional Programming
From ML to Ada: Strongly-typed language interoperability via source translation
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 367-412
-
- Article
-
- You have access
- Export citation
Structured Operational Semantics of a fragment of the language Scheme
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 335-365
-
- Article
-
- You have access
- Export citation
Applications of Functional Programming edited by Colin Runciman and David Wakeling, UCL Press Limited, 1995.
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 445-446
-
- Article
-
- You have access
- Export citation
A coherence theorem for Martin-Löf's type theory
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 413-436
-
- Article
-
- You have access
- Export citation
Efficient graph algorithms using lazy monolithic arrays
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 323-333
-
- Article
-
- You have access
- Export citation
EDITORIAL
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 4 / July 1998
- Published online by Cambridge University Press:
- 01 July 1998, pp. 319-321
-
- Article
-
- You have access
- Export citation
Profiling large-scale lazy functional programs
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 3 / May 1998
- Published online by Cambridge University Press:
- 01 May 1998, pp. 201-237
-
- Article
-
- You have access
- Export citation
The call-by-need lambda calculus
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 3 / May 1998
- Published online by Cambridge University Press:
- 01 May 1998, pp. 275-317
-
- Article
-
- You have access
- Export citation
A type-based escape analysis for functional languages
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 3 / May 1998
- Published online by Cambridge University Press:
- 01 May 1998, pp. 239-273
-
- Article
-
- You have access
- Export citation
Functional runtime systems within the lambda-sigma calculus
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 2 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 131-176
-
- Article
-
- You have access
- Export citation
Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function?
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 2 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 195-199
-
- Article
-
- You have access
- Export citation
Computational types from a logical perspective
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 2 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 177-193
-
- Article
-
- You have access
- Export citation
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 2 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 97-129
-
- Article
-
- You have access
- Export citation
Meertens number
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 1 / January 1998
- Published online by Cambridge University Press:
- 01 January 1998, pp. 83-88
-
- Article
-
- You have access
- Export citation
Expansion postponement for normalising pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 1 / January 1998
- Published online by Cambridge University Press:
- 01 January 1998, pp. 89-96
-
- Article
-
- You have access
- Export citation
The dynamic compilation of lazy functional programs
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 1 / January 1998
- Published online by Cambridge University Press:
- 01 January 1998, pp. 61-81
-
- Article
-
- You have access
- Export citation
What is a purely functional language?
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 1 / January 1998
- Published online by Cambridge University Press:
- 01 January 1998, pp. 1-22
-
- Article
-
- You have access
- Export citation
Algorithm + strategy = parallelism
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 1 / January 1998
- Published online by Cambridge University Press:
- 01 January 1998, pp. 23-60
-
- Article
-
- You have access
- Export citation
Modularity of strong normalization in the algebraic-λ-cube
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 6 / November 1997
- Published online by Cambridge University Press:
- 01 November 1997, pp. 613-660
-
- Article
-
- You have access
- Export citation
Three algorithms on Braun trees
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 6 / November 1997
- Published online by Cambridge University Press:
- 01 November 1997, pp. 661-666
-
- Article
-
- You have access
- Export citation