1050 results in Journal of Functional Programming
PAL+: a lambda-free logical framework
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 317-338
-
- Article
-
- You have access
- Export citation
Termination of rewriting in the Calculus of Constructions
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 339-414
-
- Article
-
- You have access
- Export citation
Setoids in type theory
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 261-293
-
- Article
-
- You have access
- Export citation
Special issue on ‘Logical frameworks and metalanguages’
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 257-260
-
- Article
-
- You have access
- Export citation
TinkerType: a language for playing with formal systems
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 295-316
-
- Article
-
- You have access
- Export citation
A fully adequate shallow embedding of the π-calculus in Isabelle/HOL with mechanized syntax analysis
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 415-451
-
- Article
-
- You have access
- Export citation
9 Syntax Reference
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 125-138
-
- Article
-
- You have access
- Export citation
22 Directory Functions
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 219-222
-
- Article
-
- You have access
- Export citation
18 Maybe Utilities
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 191-192
-
- Article
-
- You have access
- Export citation
17 List Utilities
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 179-190
-
- Article
-
- You have access
- Export citation
27 Random Numbers
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 235-240
-
- Article
-
- You have access
- Export citation
20 Monad Utilities
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 199-204
-
- Article
-
- You have access
- Export citation
1 Introduction
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. i-6
-
- Article
-
- You have access
- Export citation
11 Compiler Pragmas
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 145-146
-
- Article
-
- You have access
- Export citation
12 Rational Numbers
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 149-152
-
- Article
-
- You have access
- Export citation
4 Declarations and Bindings
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 39-66
-
- Article
-
- You have access
- Export citation
6 Predefined Types and Classes
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 81-96
-
- Article
-
- You have access
- Export citation
Bibliography
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 241-255
-
- Article
-
- You have access
- Export citation
13 Complex Numbers
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 153-156
-
- Article
-
- You have access
- Export citation
10 Specification of Derived Instances
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 1 / January 2003
- Published online by Cambridge University Press:
- 28 January 2003, pp. 139-144
-
- Article
-
- You have access
- Export citation