1050 results in Journal of Functional Programming
A modular module system
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 3 / May 2000
- Published online by Cambridge University Press:
- 01 May 2000, pp. 269-303
-
- Article
-
- You have access
- Export citation
Special issue on Haskell
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 3 / May 2000
- Published online by Cambridge University Press:
- 01 May 2000, p. 319
-
- Article
-
- You have access
- Export citation
Container types categorically
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 2 / March 2000
- Published online by Cambridge University Press:
- 01 March 2000, pp. 191-225
-
- Article
-
- You have access
- Export citation
Type checking dependent (record) types and subtyping
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 2 / March 2000
- Published online by Cambridge University Press:
- 01 March 2000, pp. 137-166
-
- Article
-
- You have access
- Export citation
Program equivalence in a linear functional language
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 2 / March 2000
- Published online by Cambridge University Press:
- 01 March 2000, pp. 167-190
-
- Article
-
- You have access
- Export citation
Server side web scripting in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 1-18
-
- Article
-
- You have access
- Export citation
Lambda terms for natural deduction, sequent calculus and cut elimination
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 121-134
-
- Article
-
- You have access
- Export citation
Kleisli, a functional query system
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 19-56
-
- Article
-
- You have access
- Export citation
Distributed communication in ML
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 91-120
-
- Article
-
- You have access
- Export citation
Girard translation and logical predicates
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 77-89
-
- Article
-
- You have access
- Export citation
A visualisation of polymorphic type checking
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 57-75
-
- Article
-
- You have access
- Export citation
Special issue on Logical Frameworks and Metalanguages http//www-sop.inria.fr/certilab/LFM00/cfp-jfp.html
-
- Journal:
- Journal of Functional Programming / Volume 10 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 01 January 2000, pp. 135-136
-
- Article
-
- You have access
- Export citation
Compiling lazy functional programs for the Java Virtual Machine
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 01 November 1999, pp. 579-603
-
- Article
-
- You have access
- Export citation
Type-checking injective pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 01 November 1999, pp. 675-698
-
- Article
-
- You have access
- Export citation
A confluent λ-calculus with a catch/throw mechanism
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 01 November 1999, pp. 625-647
-
- Article
-
- You have access
- Export citation
Using randomization to make recursive matrix algorithms practical
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 01 November 1999, pp. 605-624
-
- Article
-
- You have access
- Export citation
Parallelizing functional programs by generalization
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 6 / November 1999
- Published online by Cambridge University Press:
- 01 November 1999, pp. 649-673
-
- Article
-
- You have access
- Export citation
Purely Functional Data Structures by Chris Okasaki, Cambridge University Press, 1998, 220pp.
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 5 / September 1999
- Published online by Cambridge University Press:
- 01 September 1999, pp. 577-578
-
- Article
-
- You have access
- Export citation
Higher-order functional languages and intensional logic
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 5 / September 1999
- Published online by Cambridge University Press:
- 01 September 1999, pp. 527-564
-
- Article
-
- You have access
- Export citation
Combinators for program generation
-
- Journal:
- Journal of Functional Programming / Volume 9 / Issue 5 / September 1999
- Published online by Cambridge University Press:
- 01 September 1999, pp. 483-525
-
- Article
-
- You have access
- Export citation