1050 results in Journal of Functional Programming
A calculus with polymorphic and polyvariant flow types
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 3 / May 2002
- Published online by Cambridge University Press:
- 08 May 2002, pp. 183-227
-
- Article
-
- You have access
- Export citation
Region analysis and a π-calculus with groups
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 3 / May 2002
- Published online by Cambridge University Press:
- 08 May 2002, pp. 229-292
-
- Article
-
- You have access
- Export citation
Type-checking multi-parameter type classes
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 22 March 2002, pp. 133-158
-
- Article
-
- You have access
- Export citation
DrScheme: a programming environment for Scheme
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 22 March 2002, pp. 159-182
-
- Article
-
- You have access
- Export citation
A calculus of module systems
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 2 / March 2002
- Published online by Cambridge University Press:
- 22 March 2002, pp. 91-132
-
- Article
-
- You have access
- Export citation
Stack-based typed assembly language
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 1 / January 2002
- Published online by Cambridge University Press:
- 09 January 2002, pp. 43-88
-
- Article
-
- You have access
- Export citation
A predicative analysis of structural recursion
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 1 / January 2002
- Published online by Cambridge University Press:
- 09 January 2002, pp. 1-41
-
- Article
-
- You have access
- Export citation
Principles of Programming Languages Design, Evaluation, and Implementation (3rd ed.) by Bruce J. MacLennan, Oxford University Press, 1999, ISBN 0-19-511306-3.
-
- Journal:
- Journal of Functional Programming / Volume 12 / Issue 1 / January 2002
- Published online by Cambridge University Press:
- 09 January 2002, pp. 89-90
-
- Article
-
- You have access
- Export citation
Normalization by evaluation with typed abstract syntax
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 673-680
-
- Article
-
- You have access
- Export citation
Monadic encapsulation of effects: a revised approach (extended version)
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 591-627
-
- Article
-
- You have access
- Export citation
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 629-671
-
- Article
-
- You have access
- Export citation
Weaving a web
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 681-689
-
- Article
-
- You have access
- Export citation
Communicating and Mobile Systems: the π-calculus by Robin Milner, Cambridge University Press, 1999
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 433-436
-
- Article
-
- You have access
- Export citation
Special issue on Dependent Type Theory Meets Programming Practice CALL FOR PAPERS
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, p. 437
-
- Article
-
- You have access
- Export citation
Maximum marking problems
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 411-424
-
- Article
-
- You have access
- Export citation
Red-black trees with types
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 425-432
-
- Article
-
- You have access
- Export citation
Exceptional syntax
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 395-410
-
- Article
-
- You have access
- Export citation
Computational Logic by Ulrich Berger and Helmut Schwichtenberg, editors, Springer-Verlag, 1999, 444 pp.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 433-436
-
- Article
-
- You have access
- Export citation
Pipelined functional tree accesses and updates: scheduling, synchronization, caching and coherence
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 4 / July 2001
- Published online by Cambridge University Press:
- 04 September 2001, pp. 359-393
-
- Article
-
- You have access
- Export citation
Domains and Lambda-Calculi by R. M. Amadio and P-L. Curien, Springer Verlag, 1999, ISBN 0521587751.
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 5 / September 2001
- Published online by Cambridge University Press:
- 29 August 2001, p. 589
-
- Article
-
- You have access
- Export citation