Programming Languages: Implementations, Logics, and Programs

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Narrowing the narrowing space
3. Altmetric Badge
   Chapter 2 An object calculus with algebraic rewriting
4. Altmetric Badge
   Chapter 3 Inheritance and selective method dispatching in concurrent Haskell
5. Altmetric Badge
   Chapter 4 Overriding operators in a mixin-based framework
6. Altmetric Badge
   Chapter 5 Resolution for logic programming with universal quantifiers
7. Altmetric Badge
   Chapter 6 A declarative approach to concurrent programming
8. Altmetric Badge
   Chapter 7 Transformation of divide & conquer to nested parallel loops
9. Altmetric Badge
   Chapter 8 Transforming lazy functions using comportment properties
10. Altmetric Badge
    Chapter 9 Transformations for efficient evaluations in functional programming
11. Altmetric Badge
    Chapter 10 Inline expansion: When and how?
12. Altmetric Badge
    Chapter 11 Higher-order value flow graphs
13. Altmetric Badge
    Chapter 12 Intuitionistic implication in abstract interpretation
14. Altmetric Badge
    Chapter 13 An open-ended finite domain constraint solver
15. Altmetric Badge
    Chapter 14 Semantics and compilation of recursive sequential streams in 81/2
16. Altmetric Badge
    Chapter 15 Implementation of term rewritings with the evaluation strategy
17. Altmetric Badge
    Chapter 16 Reflections on reflections
18. Altmetric Badge
    Chapter 17 Evaluation under lambda abstraction
19. Altmetric Badge
    Chapter 18 Selective recomputation for handling side-effects in parallel logic programs
20. Altmetric Badge
    Chapter 19 Tracing lazy functional computations using redex trails
21. Altmetric Badge
    Chapter 20 Functional programming and geometry
22. Altmetric Badge
    Chapter 21 Where do I begin? A problem solving approach in teaching functional programming
23. Altmetric Badge
    Chapter 22 Teaching functional and logic programming with a single computation model
24. Altmetric Badge
    Chapter 23 Logic implemented functionally
25. Altmetric Badge
    Chapter 24 DrScheme: A pedagogic programming environment for scheme
26. Altmetric Badge
    Chapter 25 An editor for helping novices to learn standard ML
27. Altmetric Badge
    Chapter 26 Introducing the declarative dungeon
28. Altmetric Badge
    Chapter 27 A pragmatic approach to compilation of Erlang
29. Altmetric Badge
    Chapter 28 Formal translations described by translation grammars with LR(k) input grammars
30. Altmetric Badge
    Chapter 29 Automatic run-time code generation in object-oriented languages