Review of "Thinking with Types"* by Sandy Maguire, LeanPub, 2019
No abstract available.
Related papers
- A review for the Journal of Functional Programming of Sandy Maguire, Algebra-Driven Design (Leanpub, 2020) JFP 2024
- Special Issue Dedicated to ICFP 2008 Editorial JFP 2010
- Confluence Competition 2019 TACAS 2019
- Java Pathfinder at SV-COMP 2019 (Competition Contribution) TACAS 2019
- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report) TACAS 2019
- RERS 2019: Combining Synthesis with Real-World Models TACAS 2019
- Automatic Verification of C and Java Programs: SV-COMP 2019 TACAS 2019
- Towards String Support in JayHorn (Competition Contribution) TACAS 2021