Programming Languages and Systems

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Logics for Extensional, Locally Complete Analysis via Domain Refinements
3. Altmetric Badge
   Chapter 2 Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
4. Altmetric Badge
   Chapter 3 Adversarial Reachability for Program-level Security Analysis
5. Altmetric Badge
   Chapter 4 Automated Grading of Regular Expressions
6. Altmetric Badge
   Chapter 5 Builtin Types Viewed as Inductive Families
7. Altmetric Badge
   Chapter 6 Pragmatic Gradual Polymorphism with References
8. Altmetric Badge
   Chapter 7 Modal Crash Types for Intermittent Computing
9. Altmetric Badge
   Chapter 8 Gradual Tensor Shape Checking
10. Altmetric Badge
    Chapter 9 A Type System for Effect Handlers and Dynamic Labels
11. Altmetric Badge
    Chapter 10 Interpreting Knowledge-based Programs
12. Altmetric Badge
    Chapter 11 Contextual Modal Type Theory with Polymorphic Contexts
13. Altmetric Badge
    Chapter 12 A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
14. Altmetric Badge
    Chapter 13 Quorum Tree Abstractions of Consensus Protocols
15. Altmetric Badge
    Chapter 14 MAG $$\pi $$ π : Types for Failure-Prone Communication
16. Altmetric Badge
    Chapter 15 System $$F^\mu _\omega $$ F ω μ with Context-free Session Types
17. Altmetric Badge
    Chapter 16 Safe Session-Based Concurrency with Shared Linear State
18. Altmetric Badge
    Chapter 17 Bunched Fuzz: Sensitivity for Vector Metrics
19. Altmetric Badge
    Chapter 18 Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
20. Altmetric Badge
    Chapter 19 Type-safe Quantum Programming in Idris
21. Altmetric Badge
    Chapter 20 Automatic Alignment in Higher-Order Probabilistic Programming Languages