37 results
Strong normalization with non-structural subtyping
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 419-429
-
- Article
- Export citation
Efficient recursive subtyping
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 1 / March 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 113-125
-
- Article
- Export citation
Generating action compilers by partial evaluation
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 269-298
-
- Article
-
- You have access
- Export citation
Correctness of binding-time analysis
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 3 / July 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 347-363
-
- Article
-
- You have access
- Export citation
Type-based confinement
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 1 / January 2006
- Published online by Cambridge University Press:
- 13 September 2005, pp. 83-128
-
- Article
-
- You have access
- Export citation
CPS transformation of flow information
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 5 / September 2003
- Published online by Cambridge University Press:
- 27 August 2003, pp. 905-923
-
- Article
-
- You have access
- Export citation
5 - Semantic Analysis
- from Part I - Fundamentals of Compilation
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 103-115
-
- Chapter
- Export citation
12 - Putting It All Together
- from Part I - Fundamentals of Compilation
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 249-254
-
- Chapter
- Export citation
Preface
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp ix-x
-
- Chapter
- Export citation
Appendix: MiniJava Language Reference Manual
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 484-486
-
- Chapter
- Export citation
15 - Functional Programming Languages
- from Part II - Advanced Topics
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 298-334
-
- Chapter
- Export citation
7 - Translation to Intermediate Code
- from Part I - Fundamentals of Compilation
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 136-161
-
- Chapter
- Export citation
Index
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 495-501
-
- Chapter
- Export citation
6 - Activation Records
- from Part I - Fundamentals of Compilation
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 116-135
-
- Chapter
- Export citation
4 - Abstract Syntax
- from Part I - Fundamentals of Compilation
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 86-102
-
- Chapter
- Export citation
16 - Polymorphic Types
- from Part II - Advanced Topics
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 335-349
-
- Chapter
- Export citation
20 - Pipelining and Scheduling
- from Part II - Advanced Topics
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 440-463
-
- Chapter
- Export citation
21 - The Memory Hierarchy
- from Part II - Advanced Topics
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 464-483
-
- Chapter
- Export citation
8 - Basic Blocks and Traces
- from Part I - Fundamentals of Compilation
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 162-175
-
- Chapter
- Export citation
14 - Object-Oriented Languages
- from Part II - Advanced Topics
-
- Book:
- Modern Compiler Implementation in Java
- Published online:
- 05 June 2012
- Print publication:
- 21 October 2002, pp 283-297
-
- Chapter
- Export citation