Posts tagged "teaching"
- Subtracting natural numbers: types and usability - February 7, 2023
- Implementing Hindley-Milner with the unification-fd library - September 8, 2021
- Types versus sets in math and programming languages - June 24, 2021
- Hendrix teams at ACM ICPC - November 4, 2018
- Future of Coding podcast interview - May 19, 2018
- Conversations with a six-year-old on functional programming - May 6, 2018
- Test your intuition: logarithmic time - March 1, 2018
- Sum of heights in a binary tree - November 3, 2017
- Algorithms lecture notes and assignments - May 15, 2017
- My new programming languages course - January 13, 2017
- Academic integrity: context and concrete steps - August 21, 2016
- Academic integrity and other virtues - August 18, 2016
- POGIL workshop - August 7, 2016
- Towards a new programming languages course: ideas welcome! - May 23, 2016
- CIS 194 materials now on github - March 29, 2016
- At SIGCSE 2016 in Memphis - March 3, 2016
- Experience report: oral final exam - October 2, 2015
- Catsters guide is complete! - August 11, 2015
- Thoughts on grade inflation, part I: is grade inflation bad? - May 26, 2015
- Catsters guide - January 14, 2014
- Teaching abstraction - November 25, 2012
- Monads: Easy or Hard? - July 19, 2012
- Monad.Reader #13 is out! - March 16, 2009
- Typeclassopedia -- a generic response - February 17, 2009
- The Typeclassopedia -- request for feedback - February 16, 2009
- Abstraction, intuition, and the "monad tutorial fallacy" - January 13, 2009