5570 results in Programming Languages and Applied Logic
1 - The λ-calculus
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 1-20
-
- Chapter
- Export citation
7 - Extensionality in λ-calculus
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 76-81
-
- Chapter
- Export citation
11 - Simple typing, Curry-style in CL
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 119-158
-
- Chapter
- Export citation
Index
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 337-345
-
- Chapter
- Export citation
Appendix A5 - Answers to starred exercises
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 307-322
-
- Chapter
- Export citation
Appendix A2 - Confluence proofs
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 282-292
-
- Chapter
- Export citation
Appendix A4 - Care of your pet combinator
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 305-306
-
- Chapter
- Export citation
9 - Correspondence between λ and CL
-
- Book:
- Lambda-Calculus and Combinators
- Published online:
- 05 June 2012
- Print publication:
- 24 July 2008, pp 92-106
-
- Chapter
- Export citation
Path-Oriented Program Analysis
-
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007
References
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 193-196
-
- Chapter
- Export citation
Contents
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp vii-viii
-
- Chapter
- Export citation
4 - Program set
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 31-38
-
- Chapter
- Export citation
5 - Pathwise decomposition
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 39-54
-
- Chapter
- Export citation
7 - Program recomposition
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 69-86
-
- Chapter
- Export citation
2 - State constraints
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 15-20
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 1-14
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp i-vi
-
- Chapter
- Export citation
Appendix A - Examples
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 109-168
-
- Chapter
- Export citation
3 - Subprogram simplification
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 21-30
-
- Chapter
- Export citation
6 - Tautological constraints
-
- Book:
- Path-Oriented Program Analysis
- Published online:
- 03 September 2009
- Print publication:
- 24 December 2007, pp 55-68
-
- Chapter
- Export citation