Special issue on Logical frameworks and metalanguages
Special issue on ‘Logical frameworks and metalanguages’
-
- Published online by Cambridge University Press:
- 20 March 2003, pp. 257-260
-
- Article
-
- You have access
- Export citation
I The Haskell 98 Language
1 Introduction
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. i-6
-
- Article
-
- You have access
- Export citation
Special issue on
‘Semantics, Applications, and Implementation of Program Generation’
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 453-454
-
- Article
-
- You have access
- Export citation
Article
Verification of non-functional programs using interpretations in type theory
-
- Published online by Cambridge University Press:
- 25 June 2003, pp. 709-745
-
- Article
-
- You have access
- Export citation
The Educational Pearls column
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 833-834
-
- Article
-
- You have access
- Export citation
Regular expression pattern matching for XML
-
- Published online by Cambridge University Press:
- 29 October 2003, pp. 961-1004
-
- Article
-
- You have access
- Export citation
On bunched typing
-
- Published online by Cambridge University Press:
- 25 June 2003, pp. 747-796
-
- Article
-
- You have access
- Export citation
I The Haskell 98 Language
2 Lexical Structure
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 7-16
-
- Article
-
- You have access
- Export citation
Research Article
Compiling embedded languages
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 455-481
-
- Article
-
- You have access
- Export citation
Special Issue on Logical frameworks and metalanguages
Setoids in type theory
-
- Published online by Cambridge University Press:
- 20 March 2003, pp. 261-293
-
- Article
-
- You have access
- Export citation
Article
Single Assignment C: efficient support for high-level array operations in a functional setting
-
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1005-1059
-
- Article
-
- You have access
- Export citation
EDUCATIONAL PEARL
Welcome to the Educational Pearls Column
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 835-838
-
- Article
-
- You have access
- Export citation
Article
Short cut fusion is correct
-
- Published online by Cambridge University Press:
- 25 June 2003, pp. 797-814
-
- Article
-
- You have access
- Export citation
First-order unification by structural recursion
-
- Published online by Cambridge University Press:
- 29 October 2003, pp. 1061-1075
-
- Article
-
- You have access
- Export citation
Special Issue on Logical frameworks and metalanguages
TinkerType: a language for playing with formal systems
-
- Published online by Cambridge University Press:
- 20 March 2003, pp. 295-316
-
- Article
-
- You have access
- Export citation
Research Article
AutoBayes: a system for generating data analysis programs from statistical models
-
- Published online by Cambridge University Press:
- 13 May 2003, pp. 483-508
-
- Article
-
- You have access
- Export citation
I The Haskell 98 Language
3 Expressions
-
- Published online by Cambridge University Press:
- 28 January 2003, pp. 17-38
-
- Article
-
- You have access
- Export citation
Article
Programming graphical user interfaces with Scheme
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 839-866
-
- Article
-
- You have access
- Export citation
Syntactic accidents in program analysis: on the impact of the CPS transformation
-
- Published online by Cambridge University Press:
- 27 August 2003, pp. 867-904
-
- Article
-
- You have access
- Export citation
Theoretical Pearls
THEORETICAL PEARLS: Flattening combinators: surviving without parentheses
-
- Published online by Cambridge University Press:
- 25 June 2003, pp. 815-822
-
- Article
-
- You have access
- Export citation