6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
Part I - Introduction
-
- Book:
- Action Semantics
- Published online:
- 19 January 2010
- Print publication:
- 13 August 1992, pp 1-2
-
- Chapter
- Export citation
12 - Deterministic Morphisms
-
- Book:
- Predicate Transformer Semantics
- Published online:
- 06 January 2010
- Print publication:
- 13 August 1992, pp 161-170
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/03849/cover/9780521403849.jpg)
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
1 - Introduction
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 1-8
-
- Chapter
- Export citation