1050 results in Journal of Functional Programming
The structure and interpretation of the computer science curriculum
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, pp. 365-378
-
- Article
-
- You have access
- Export citation
Special issue on “Programming Language Technologies for XML”
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, p. 473
-
- Article
-
- You have access
- Export citation
Functional programming with the FC++ library
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, pp. 429-472
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 4 / July 2004
- Published online by Cambridge University Press:
- 07 June 2004, pp. i-ii
-
- Article
-
- You have access
- Export citation
Composition of functions with accumulating parameters
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 14 April 2004, pp. 317-363
-
- Article
-
- You have access
- Export citation
The recursive record semantics of objects revisited
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 14 April 2004, pp. 263-315
-
- Article
-
- You have access
- Export citation
Escape from Zurg: an exercise in logic programming
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 14 April 2004, pp. 253-261
-
- Article
-
- You have access
- Export citation
The Functional “C” experience
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 22 January 2004, pp. 129-135
-
- Article
-
- You have access
- Export citation
An Introduction to Computing with Haskell by Manuel M. T. Chakravarty and Gabrielle C. Keller, Pearson SprintPrint, 2002, ISBN 1 74009 404 2. Price $AU 39.95, Pp. 150
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 22 January 2004, pp. 247-249
-
- Article
-
- You have access
- Export citation
Constructed product result analysis for Haskell
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 22 January 2004, pp. 211-245
-
- Article
-
- You have access
- Export citation
Practical Aspects of Declarative Languages, Shriram Krishnamurthi and C. R. Ramakrishnan (eds.), LNCS 2257, Springer-Verlag, 2002. ISBN 3-540-43092-X Price £31.50, pp. 359
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 22 January 2004, pp. 249-251
-
- Article
-
- You have access
- Export citation
Grammatical Framework
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 22 January 2004, pp. 145-189
-
- Article
-
- You have access
- Export citation
The view from the left
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 69-111
-
- Article
-
- You have access
- Export citation
Dependent types ensure partial correctness of theorem provers
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 3-19
-
- Article
-
- You have access
- Export citation
Building reliable, high-performance networks with the Nuprl proof development system
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 21-68
-
- Article
-
- You have access
- Export citation
Introduction to the Special Issue on Dependent Type Theory Meets Practical Programming
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 1-2
-
- Article
-
- You have access
- Export citation
Proof, Language and Interaction, Essays in Honour of Robin Milner eds Gordon Plotkin, Colin Sterling, Mads Tofte, Foundations of Computing Series, MIT Press 2000
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 125-128
-
- Article
-
- You have access
- Export citation
The risks and benefits of teaching purely functional programming in first year
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 113-123
-
- Article
-
- You have access
- Export citation
Single Assignment C: efficient support for high-level array operations in a functional setting
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1005-1059
-
- Article
-
- You have access
- Export citation
Regular expression pattern matching for XML
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 6 / November 2003
- Published online by Cambridge University Press:
- 29 October 2003, pp. 961-1004
-
- Article
-
- You have access
- Export citation