Posts tagged "book"
- Certainty by Construction: Done! October 30, 2023
- Certainty by Construction Progress Report 10 October 12, 2023
- Certainty by Construction Progress Report 9 September 2, 2023
- Certainty by Construction Progress Report 8 August 23, 2023
- Certainty by Construction Progress Report 7 August 12, 2023
- Certainty by Construction Progress Report 6 July 14, 2023
- Certainty by Construction Progress Report 5 June 20, 2023
- Certainty by Construction Progress Report 4 June 16, 2023
- Certainty by Construction Progress Report 3 May 25, 2023
- Certainty by Construction Progress Report 2 May 18, 2023
- Certainty by Construction Progress Report 1 May 12, 2023
- The Co-Blub Paradox March 24, 2023
- Algebra-Driven Design September 10, 2020
- New Book: Design and Interpretation of Haskell Programs October 13, 2019
- Thinking with Types November 14, 2018