Programming Languages and Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Disjoint Polymorphism
3. Altmetric Badge
   Chapter 2 Generalizing Inference Systems by Coaxioms
4. Altmetric Badge
   Chapter 3 Observed Communication Semantics for Classical Processes
5. Altmetric Badge
   Chapter 4 Is Your Software on Dope?
6. Altmetric Badge
   Chapter 5 Friends with Benefits
7. Altmetric Badge
   Chapter 6 Confluence of Graph Rewriting with Interfaces
8. Altmetric Badge
   Chapter 7 Verifying Robustness of Event-Driven Asynchronous Programs Against Concurrency
9. Altmetric Badge
   Chapter 8 Incremental Update for Graph Rewriting
10. Altmetric Badge
    Chapter 9 Linearity, Control Effects, and Behavioral Types
11. Altmetric Badge
    Chapter 10 Temporary Read-Only Permissions for Separation Logic
12. Altmetric Badge
    Chapter 11 Faster Algorithms for Weighted Recursive State Machines
13. Altmetric Badge
    Chapter 12 ML and Extended Branching VASS
14. Altmetric Badge
    Chapter 13 Metric Reasoning About $$\lambda $$ -Terms: The General Case
15. Altmetric Badge
    Chapter 14 Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring
16. Altmetric Badge
    Chapter 15 Probabilistic Termination by Monadic Affine Sized Typing
17. Altmetric Badge
    Chapter 16 Caper
18. Altmetric Badge
    Chapter 17 Tackling Real-Life Relaxed Concurrency with FSL++
19. Altmetric Badge
    Chapter 18 Extensible Datasort Refinements
20. Altmetric Badge
    Chapter 19 Programs Using Syntax with First-Class Binders
21. Altmetric Badge
    Chapter 20 LINCX: A Linear Logical Framework with First-Class Contexts
22. Altmetric Badge
    Chapter 21 APLicative Programming with Naperian Functors
23. Altmetric Badge
    Chapter 22 Verified Characteristic Formulae for CakeML
24. Altmetric Badge
    Chapter 23 Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
25. Altmetric Badge
    Chapter 24 Proving Linearizability Using Partial Orders
26. Altmetric Badge
    Chapter 25 The Power of Non-determinism in Higher-Order Implicit Complexity
27. Altmetric Badge
    Chapter 26 The Essence of Higher-Order Concurrent Separation Logic
28. Altmetric Badge
    Chapter 27 Comprehending Isabelle/HOL’s Consistency
29. Altmetric Badge
    Chapter 28 The Essence of Functional Programming on Semantic Data
30. Altmetric Badge
    Chapter 29 A Classical Sequent Calculus with Dependent Types
31. Altmetric Badge
    Chapter 30 Context-Free Session Type Inference
32. Altmetric Badge
    Chapter 31 Modular Verification of Higher-Order Functional Programs
33. Altmetric Badge
    Chapter 32 Commutative Semantics for Probabilistic Programming
34. Altmetric Badge
    Chapter 33 Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization
35. Altmetric Badge
    Chapter 34 A Higher-Order Logic for Concurrent Termination-Preserving Refinement
36. Altmetric Badge
    Chapter 35 Modular Verification of Procedure Equivalence in the Presence of Memory Allocation
37. Altmetric Badge
    Chapter 36 Abstract Specifications for Concurrent Maps