Extraction of Strong Typing Laws from Action Semantics Definitions
Abstract elided by the publisher.
Related papers
- Type Inference for Action Semantics ESOP 1990
- Extracting total Amb programs from proofs ESOP 2022
- Implementing a category-theoretic framework for typed abstract syntax CPP 2022
- Monads in action POPL 2010
- From parametricity to conservation laws, via Noether's theorem POPL 2014
- Possibilities and Limitations of Call-by-Need Space Improvement ICFP 2001
- Intrinsically-typed definitional interpreters for linear, session-typed languages CPP 2020
- Fast RMWs for TSO: semantics and implementation PLDI 2013