1050 results in Journal of Functional Programming
First-order unification by structural recursion
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1061-1075
-
- Article
-
- You have access
- Export citation
Haskell in Space: An interactive game as a functional programming exercise
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1077-1085
-
- Article
-
- You have access
- Export citation
Concepts in Programming Languages, by John C. Mitchell, Cambridge University Press, 2002, ISBN 0-521-78098-5
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1087-1088
-
- Article
-
- You have access
- Export citation
Remarks on the equational theory of non-normalizing pure type systems
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 16 September 2003, pp. 137-155
-
- Article
-
- You have access
- Export citation
Welcome to the Educational Pearls Column
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 835-838
-
- Article
-
- You have access
- Export citation
Stack-based typed assembly language
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 957-959
-
- Article
-
- You have access
- Export citation
Syntactic accidents in program analysis: on the impact of the CPS transformation
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 867-904
-
- Article
-
- You have access
- Export citation
Formatting: a class act
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 935-944
-
- Article
-
- You have access
- Export citation
Programming graphical user interfaces with Scheme
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 839-866
-
- Article
-
- You have access
- Export citation
The Educational Pearls column
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 833-834
-
- Article
-
- You have access
- Export citation
CPS transformation of flow information, Part II: administrative reductions
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 925-933
-
- Article
-
- You have access
- Export citation
CPS transformation of flow information
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 905-923
-
- Article
-
- You have access
- Export citation
Producing all ideals of a forest, functionally
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 945-956
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL: Marble mingling
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 31 July 2003, pp. 129-136
-
- Article
-
- You have access
- Export citation
Parallel and Distributed Haskells
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 469-510
-
- Article
-
- You have access
- Export citation
A typed representation for HTML and XML documents in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 435-468
-
- Article
-
- You have access
- Export citation
Faking it Simulating dependent types in Haskell
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 375-392
-
- Article
-
- You have access
- Export citation
Special Double Issue on Haskell
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 293-294
-
- Article
-
- You have access
- Export citation
A static semantics for Haskell
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 295-357
-
- Article
-
- You have access
- Export citation
Secrets of the Glasgow Haskell Compiler inliner
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 393-434
-
- Article
-
- You have access
- Export citation