1050 results in Journal of Functional Programming
Mechanizing metatheory in a logical framework
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 613-673
-
- Article
-
- You have access
- Export citation
Recursive type generativity
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 433-471
-
- Article
-
- You have access
- Export citation
A logical analysis of aliasing in imperative higher-order functions
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 473-546
-
- Article
-
- You have access
- Export citation
Acute: High-level programming language design for distributed computation
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 4-5 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 547-612
-
- Article
-
- You have access
- Export citation
An extended comparative study of language support for generic programming
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 2 / March 2007
- Published online by Cambridge University Press:
- 01 March 2007, pp. 145-205
-
- Article
-
- You have access
- Export citation
Dependent ML An approach to practical programming with dependent types
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 2 / March 2007
- Published online by Cambridge University Press:
- 01 March 2007, pp. 215-286
-
- Article
-
- You have access
- Export citation
Type sharing constraints and undecidability
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 2 / March 2007
- Published online by Cambridge University Press:
- 01 March 2007, pp. 207-214
-
- Article
-
- You have access
- Export citation
Programming Languages and Operational Semantics by Fernández Maribel, King's College Publications, 2004, ISBN 0954300637
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 15 February 2007, pp. 424-426
-
- Article
-
- You have access
- Export citation
The Haskell School of Expression by Hudak Paul, Cambridge Univerity Press, 2000 1
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 15 February 2007, pp. 426-428
-
- Article
-
- You have access
- Export citation
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 15 February 2007, pp. 428-429
-
- Article
-
- You have access
- Export citation
Warnings for pattern matching
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 15 February 2007, pp. 387-421
-
- Article
-
- You have access
- Export citation
SMIL 2.0 Interactive Multimedia for Web and Mobile Devices by C. A. Dick Bulterman and Lloyd Rutledge, Springer X.media.publishing, 2004, 440pp, ISBN 3-540-20234-X
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 15 February 2007, pp. 423-424
-
- Article
-
- You have access
- Export citation
An object-oriented calculus with term constraints
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 3 / May 2007
- Published online by Cambridge University Press:
- 04 January 2007, pp. 353-386
-
- Article
-
- You have access
- Export citation
Spreadsheet functional programming
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 1 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 131-143
-
- Article
-
- You have access
- Export citation
Practical type inference for arbitrary-rank types
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 1 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 1-82
-
- Article
-
- You have access
- Export citation
Understanding functional dependencies via constraint handling rules
-
- Journal:
- Journal of Functional Programming / Volume 17 / Issue 1 / January 2007
- Published online by Cambridge University Press:
- 01 January 2007, pp. 83-129
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL: ‘Proof-directed debugging’ revisited for a first-order version
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 14 September 2006, pp. 663-670
-
- Article
-
- You have access
- Export citation
Featherweight generic confinement
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 6 / November 2006
- Published online by Cambridge University Press:
- 14 September 2006, pp. 793-811
-
- Article
-
- You have access
- Export citation
Static analysis for path correctness of XML queries
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 621-661
-
- Article
-
- You have access
- Export citation
Monadic regions
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 4-5 / July 2006
- Published online by Cambridge University Press:
- 10 August 2006, pp. 485-545
-
- Article
-
- You have access
- Export citation