Laws of Programming for References
Abstract elided by the publisher.
Related papers
- A practical formalization of monadic equational reasoning in dependent-type theory JFP 2025
- Algebraic and Coalgebraic Perspectives on Interaction Laws APLAS 2020
- Mapping-Aware Megamodeling: Design Patterns and Laws SLE 2013
- Extraction of Strong Typing Laws from Action Semantics Definitions ESOP 1992
- Laws of concurrent programming PLDI 2014
- Testing type class laws Haskell 2012
- A Law-Based Approach to Object-Oriented Programming OOPSLA 1987
- Backtracking with cut via a distributive law and left-zero monoids JFP 2017