1050 results in Journal of Functional Programming
Gabriel–Ulmer duality and Lawvere theories enriched over a general base
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 265-286
-
- Article
-
- You have access
- Export citation
Implementing a normalizer using sized heterogeneous types
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 3-4 / July 2009
- Published online by Cambridge University Press:
- 01 July 2009, pp. 287-310
-
- Article
-
- You have access
- Export citation
Purely Functional 1-2 Brother Trees
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 6 / November 2009
- Published online by Cambridge University Press:
- 26 May 2009, pp. 633-644
-
- Article
-
- You have access
- Export citation
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 5 / September 2009
- Published online by Cambridge University Press:
- 15 April 2009, pp. 509-543
-
- Article
-
- You have access
- Export citation
Coherence of subsumption for monadic types
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 157-172
-
- Article
-
- You have access
- Export citation
Regular-expression derivatives re-examined
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 173-190
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 2 Cover and Front matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Editorial
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, p. 143
-
- Article
-
- You have access
- Export citation
Programming in Haskell by Graham Hutton, Cambridge University Press, 2007, 184 pp., ISBN 0-521-69269-5.
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 256-259
-
- Article
-
- You have access
- Export citation
First-class patterns
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 191-225
-
- Article
-
- You have access
- Export citation
Peter Van Roy and Seif Haridi. Concepts, Techniques, and Models of Computer Programming. The MIT Press, 2004. ISBN: 0262220695 Price $70. 930pp.
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 254-256
-
- Article
-
- You have access
- Export citation
The worker/wrapper transformation
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 227-251
-
- Article
-
- You have access
- Export citation
Programming Erlang – Software for a Concurrent World by Joe Armstrong, Pragmatic Bookshelf, 2007, p. 536. ISBN-10: 193435600X.
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 259-261
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL. Proof-directed debugging – Corrigendum
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, p. 262
-
- Article
-
- You have access
- Export citation
JFP volume 19 issue 2 Cover and Back matter
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. b1-b2
-
- Article
-
- You have access
- Export citation
Type-safe pattern combinators
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 145-156
-
- Article
-
- You have access
- Export citation
Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, The MIT Press, 2006, 366pp, ISBN 978-0262101141.
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 01 March 2009, pp. 253-254
-
- Article
-
- You have access
- Export citation
The Genuine Sieve of Eratosthenes
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 95-106
-
- Article
-
- You have access
- Export citation
Type-safe higher-order channels with channel locality1
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 107-142
-
- Article
-
- You have access
- Export citation
Commercial uses: Going functional on exotic trades
- Part of:
-
- Journal:
- Journal of Functional Programming / Volume 19 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 27-45
-
- Article
-
- You have access
- Export citation