Talks

• 2018-08-27 @ Melbourne Compose: Quantifers in Programming
• 2017-09-13 @ ScalaSyd: Purely-Functional Webapps with scalajs-react
• 2017-03-08 @ ScalaSyd: Recursion Non-Recursively! (Algebras and Fixpoints)
• 2016-11-04 @ SM: Type Inhabitants
• 2016-10-28 @ SM: Algebras and Fixpoints