19 results
Using transformations in the implementation of higher-order functions
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 1 / Issue 4 / October 1991
- Published online by Cambridge University Press:
- 07 November 2008, pp. 459-494
-
- Article
-
- You have access
- Export citation
Type and behaviour reconstruction for higher-order concurrent programs
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 3 / May 1997
- Published online by Cambridge University Press:
- 01 May 1997, pp. 321-347
-
- Article
-
- You have access
- Export citation
Two-Level Functional Languages
-
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992
Summary of Transformation Functions
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 293-294
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp i-iv
-
- Chapter
- Export citation
2 - Types Made Explicit
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 7-32
-
- Chapter
- Export citation
7 - Abstract Interpretation
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 207-252
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 285-292
-
- Chapter
- Export citation
6 - Code Generation
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 139-206
-
- Chapter
- Export citation
4 - Combinators Made Explicit
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 79-106
-
- Chapter
- Export citation
8 - Conclusion
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 253-284
-
- Chapter
- Export citation
Index
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 295-299
-
- Chapter
- Export citation
5 - Parameterized Semantics
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 107-138
-
- Chapter
- Export citation
Contents
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp v-vi
-
- Chapter
- Export citation
List of Tables
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp ix-x
-
- Chapter
- Export citation
List of Figures
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp vii-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp xi-xii
-
- Chapter
- Export citation
3 - Binding Time Made Explicit
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 33-78
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 1-6
-
- Chapter
- Export citation