Posts tagged "review"
- Review: Proof-Carrying Code March 22, 2022
- Review: Syntax-Guided Synthesis March 19, 2022
- Review: Generic Parallel Functional Programming March 12, 2022
- Automatic Ring Solving February 16, 2022
- Review: Codata in Action February 10, 2022
- Review: Sorting with Bialgebras and Distributive Laws February 5, 2022
- Review: Copatterns January 29, 2022
- Review: Clowns to the Left of Me, Jokers to the Right January 23, 2022
- Review: Shall We Vote on Values, But Bet on Beliefs? January 14, 2022
- Review: Adders and Arrows January 7, 2022
- Follow the Denotation May 3, 2018
- Review: Bananas, Lenses, Envelopes and Barbed Wire October 6, 2017
- Review: Information Effects August 20, 2017
- Review: Theorems for Free July 29, 2017