1050 results in Journal of Functional Programming
A polymorphic library for constructive solid geometry
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 415-442
-
- Article
-
- You have access
- Export citation
JFP volume 3 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 2 / April 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Functional Pearl: On generating unique names
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 1 / January 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 117-123
-
- Article
-
- You have access
- Export citation
Baby Modula-3 and a theory of objects
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 2 / April 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 249-283
-
- Article
-
- You have access
- Export citation
Formal basis for the refinement of rule based transition systems
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 329-354
-
- Article
-
- You have access
- Export citation
Untyped strictness analysis
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / January 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 37-49
-
- Article
-
- You have access
- Export citation
Prototyping a parallel vision system in Standard ML
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 3 / July 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 345-382
-
- Article
-
- You have access
- Export citation
JFP volume 6 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b3
-
- Article
-
- You have access
- Export citation
Distributed random number generation*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 203-212
-
- Article
-
- You have access
- Export citation
JFP volume 4 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 2 / April 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Proof-irrelevance out of excluded-middle and choice in the calculus of constructions
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 3 / May 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 519-526
-
- Article
-
- You have access
- Export citation
Improving intervals1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 2 / April 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 153-169
-
- Article
-
- You have access
- Export citation
Introduction to HOL: a theorem proving environment for higher order logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 557-559
-
- Article
-
- You have access
- Export citation
Lilac: a functional programming language based on linear logic
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 395-433
-
- Article
-
- You have access
- Export citation
Generic functional programming with types and relations
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 1-28
-
- Article
-
- You have access
- Export citation
Total unfolding: theory and applications
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 4 / Issue 4 / October 1994
- Published online by Cambridge University Press:
- 07 November 2008, pp. 479-498
-
- Article
-
- You have access
- Export citation
Sparse matrix representations in a functional language
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 1 / January 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 143-170
-
- Article
-
- You have access
- Export citation
JFP volume 2 issue 1 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / January 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Quantifier elimination and parametric polymorphism in programming languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 2 / April 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 213-226
-
- Article
-
- You have access
- Export citation
A practical functional program for the CRAY X-MP*
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 2 / Issue 1 / January 1992
- Published online by Cambridge University Press:
- 07 November 2008, pp. 81-126
-
- Article
-
- You have access
- Export citation