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