22 results
Projections for polymorphic first-order strictness analysis†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 301-326
-
- Article
- Export citation
Representing demand by partial projections
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 4 / July 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 563-585
-
- Article
-
- You have access
- Export citation
Semantics of value recursion for Monadic Input/Output
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 36 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 15 December 2002, pp. 155-180
- Print publication:
- April 2002
-
- Article
- Export citation
2 - Partial Evaluation in Practice
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 13-27
-
- Chapter
- Export citation
6 - Implementation
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 75-85
-
- Chapter
- Export citation
Index
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 161-163
-
- Chapter
- Export citation
7 - Polymorphism
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 86-106
-
- Chapter
- Export citation
4 - Binding-Time Analysis
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 38-55
-
- Chapter
- Export citation
C - Implementation of Specialisation
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 140-149
-
- Chapter
- Export citation
Project Factorisations in Partial Evaluation
-
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991
Bibliography
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 155-160
-
- Chapter
- Export citation
1 - Partial Evaluation in Principle
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 1-12
-
- Chapter
- Export citation
Contents
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp vi-ix
-
- Chapter
- Export citation
5 - Run Time Arguments
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 56-74
-
- Chapter
- Export citation
8 - Conclusion
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 107-115
-
- Chapter
- Export citation
D - Library Functions
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 150-154
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp i-iv
-
- Chapter
- Export citation
Abstract
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp v-v
-
- Chapter
- Export citation
B - Implementation of BTA
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 129-139
-
- Chapter
- Export citation
3 - Static Projections
-
- Book:
- Project Factorisations in Partial Evaluation
- Published online:
- 04 August 2010
- Print publication:
- 24 October 1991, pp 28-37
-
- Chapter
- Export citation