1050 results in Journal of Functional Programming
Introduction
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 373-374
-
- Article
-
- You have access
- Export citation
Sound and complete models of contracts
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 375-414
-
- Article
-
- You have access
- Export citation
Generics for the masses
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 451-483
-
- Article
-
- You have access
- Export citation
Slideshow: functional presentations
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 583-619
-
- Article
-
- You have access
- Export citation
Multi-return function call
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 547-582
-
- Article
-
- You have access
- Export citation
Making a fast curry: push/enter vs. eval/apply for higher-order languages
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 415-449
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL: A program to solve Sudoku
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 07 July 2006, pp. 671-679
-
- Article
-
- You have access
- Export citation
Regular expression filters for XML
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 09 June 2006, pp. 711-750
-
- Article
-
- You have access
- Export citation
Phantom types and subtyping
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 09 June 2006, pp. 751-791
-
- Article
-
- You have access
- Export citation
A module calculus for Pure Type Systems
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 04 May 2006, pp. 287-352
-
- Article
-
- You have access
- Export citation
Type-safe run-time polytypic programming
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 28 February 2006, pp. 681-710
-
- Article
-
- You have access
- Export citation
Advanced Topics in Term Rewriting by Enno Ohlebusch, Springer Verlag, 2002
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 31 January 2006, pp. 247-249
-
- Article
-
- You have access
- Export citation
The Standard ML Basis Library by Emden R. Gansner and John H. Reppy, editors, Cambridge University Press, 2004, 406pp
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 31 January 2006, pp. 250-251
-
- Article
-
- You have access
- Export citation
The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck, King's College Publications, 2004, ISBN 0-9543006-9-6
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 31 January 2006, pp. 249-250
-
- Article
-
- You have access
- Export citation
Finger trees: a simple general-purpose data structure
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 16 November 2005, pp. 197-217
-
- Article
-
- You have access
- Export citation
A reflective functional language for hardware design and theorem proving
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 28 October 2005, pp. 157-196
-
- Article
-
- You have access
- Export citation
Pure type systems with judgemental equality
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 2 / March 2006
- Published online by Cambridge University Press:
- 28 October 2005, pp. 219-246
-
- Article
-
- You have access
- Export citation
Meta-programming through typeful code representation
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 06 October 2005, pp. 797-835
-
- Article
-
- You have access
- Export citation
Calculating PSSM probabilities with lazy dynamic programming
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 1 / January 2006
- Published online by Cambridge University Press:
- 13 September 2005, pp. 75-81
-
- Article
-
- You have access
- Export citation
Type-based confinement
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 1 / January 2006
- Published online by Cambridge University Press:
- 13 September 2005, pp. 83-128
-
- Article
-
- You have access
- Export citation