1050 results in Journal of Functional Programming
Developing a high-performance web server in Concurrent Haskell
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 4-5 / July 2002
- Published online by Cambridge University Press:
- 08 July 2003, pp. 359-374
-
- Article
-
- You have access
- Export citation
Trends in Functional Programming (volumes 1 & 2) by Greg Michaelson, Phil Trinder and Hans-Wolfgang Loidl (editors volume 1), and Stephen Gilmore (editor volume 2). Intellect Books, Bristol, 2001, 2002
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 823-824
-
- Article
-
- You have access
- Export citation
Verification of non-functional programs using interpretations in type theory
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 709-745
-
- Article
-
- You have access
- Export citation
Essentials of Programming Languages (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 829-831
-
- Article
-
- You have access
- Export citation
The World of Scripting Languages by David W. Barron, John Wiley & Sons, 2000, ISBN 0-471-99886-9
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 831-832
-
- Article
-
- You have access
- Export citation
Structure and Interpretation of Classical Mechanics by Gerald Jay Sussman and Jack Wisdom with Meinhard E. Mayer, The MIT Press; 2001, ISBN 0262194554
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 826-828
-
- Article
-
- You have access
- Export citation
Algorithms: A Functional Programming Approach by Fethi Rabhi and Guy Lapalme, Addison-Wesley, 1999, ISBN 0-201-59604-0, xi + 235pp
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 828-829
-
- Article
-
- You have access
- Export citation
On bunched typing
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 747-796
-
- Article
-
- You have access
- Export citation
THEORETICAL PEARLS: Flattening combinators: surviving without parentheses
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 815-822
-
- Article
-
- You have access
- Export citation
Short cut fusion is correct
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 797-814
-
- Article
-
- You have access
- Export citation
Implicit parallel programming in pH by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 4 / July 2003
- Published online by Cambridge University Press:
- 25 June 2003, pp. 824-826
-
- Article
-
- You have access
- Export citation
Program specialization for execution monitoring
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 573-600
-
- Article
-
- You have access
- Export citation
Compiling for template-based run-time code generation
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 677-708
-
- Article
-
- You have access
- Export citation
Pragmatic aspects of reusable program generators
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 601-646
-
- Article
-
- You have access
- Export citation
Inlining as staged computation
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 647-676
-
- Article
-
- You have access
- Export citation
Compiling embedded languages
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 455-481
-
- Article
-
- You have access
- Export citation
Specification and correctness of lambda lifting
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 509-543
-
- Article
-
- You have access
- Export citation
Closed types for a safe imperative MetaML
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 545-571
-
- Article
-
- You have access
- Export citation
‘Semantics, Applications, and Implementation of Program Generation’
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 453-454
-
- Article
-
- You have access
- Export citation
AutoBayes: a system for generating data analysis programs from statistical models
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 483-508
-
- Article
-
- You have access
- Export citation