5571 results in Programming Languages and Applied Logic
The Functional Approach to Programming
-
- Published online:
- 05 June 2012
- Print publication:
- 29 October 1998
11 - Evaluation
-
- Book:
- The Functional Approach to Programming
- Published online:
- 05 June 2012
- Print publication:
- 29 October 1998, pp 363-376
-
- Chapter
- Export citation
Quick Reference to the Syntax of Caml Light
-
- Book:
- The Functional Approach to Programming
- Published online:
- 05 June 2012
- Print publication:
- 29 October 1998, pp 421-424
-
- Chapter
- Export citation
17 - Polymorphism
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 379-397
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 467-482
-
- Chapter
- Export citation
12 - Continuations in a Functional Language
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 251-272
-
- Chapter
- Export citation
Appendix: Mathematical Background
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 447-466
-
- Chapter
- Export citation
Preface
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp ix-xii
-
- Chapter
- Export citation
8 - Shared-Variable Concurrency
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 155-180
-
- Chapter
- Export citation
13 - Iswim-like Languages
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 273-297
-
- Chapter
- Export citation
3 - Program Specifications and Their Proofs
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 54-80
-
- Chapter
- Export citation
Index
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 483-500
-
- Chapter
- Export citation
Contents
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp v-viii
-
- Chapter
- Export citation
16 - Subtypes and Intersection Types
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 349-378
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp i-iv
-
- Chapter
- Export citation
1 - Predicate Logic
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 1-23
-
- Chapter
- Export citation
15 - The Simple Type System
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 315-348
-
- Chapter
- Export citation
19 - Algol-like Languages
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 415-446
-
- Chapter
- Export citation
6 - Transition Semantics
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 126-135
-
- Chapter
- Export citation
11 - An Eager Functional Language
-
- Book:
- Theories of Programming Languages
- Published online:
- 28 January 2010
- Print publication:
- 13 October 1998, pp 222-250
-
- Chapter
- Export citation