5571 results in Programming Languages and Applied Logic
Modern Compiler Implementation in C
-
- Published online:
- 05 June 2012
- Print publication:
- 13 December 1997
Appendix: Tiger Language Reference Manual
-
- Book:
- Modern Compiler Implementation in C
- Published online:
- 05 June 2012
- Print publication:
- 13 December 1997, pp 518-527
-
- Chapter
- Export citation
7 - Translation to Intermediate Code
-
- Book:
- Modern Compiler Implementation in ML
- Published online:
- 05 June 2012
- Print publication:
- 13 December 1997, pp 148-172
-
- Chapter
- Export citation
12 - Putting It All Together
-
- Book:
- Modern Compiler Implementation in C
- Published online:
- 05 June 2012
- Print publication:
- 13 December 1997, pp 265-270
-
- Chapter
- Export citation
Answers to starred exercises
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 161-168
-
- Chapter
- Export citation
Introduction
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp ix-xii
-
- Chapter
- Export citation
6 - The correspondence with implication
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 74-92
-
- Chapter
- Export citation
Index
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 179-186
-
- Chapter
- Export citation
1 - The type-free λ-calculus
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 1-11
-
- Chapter
- Export citation
2 - Assigning types to terms
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 12-29
-
- Chapter
- Export citation
Contents
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp vii-viii
-
- Chapter
- Export citation
5 - A version using typed terms
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 63-73
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 169-176
-
- Chapter
- Export citation
4 - Type assignment with equality
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 52-62
-
- Chapter
- Export citation
3 - The principal-type algorithm
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 30-51
-
- Chapter
- Export citation
7 - The converse principal-type algorithm
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 93-107
-
- Chapter
- Export citation
9 - Technical details
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 140-160
-
- Chapter
- Export citation
Table of principal types
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 177-178
-
- Chapter
- Export citation
8 - Counting a type's inhabitants
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 108-139
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp i-vi
-
- Chapter
- Export citation