Talks

• Questioning Gradual Typing

  Grace Workshop at SPLASH 2018, Boston, Massachusetts, USA

  November 4, 2018
• Object Inheritance Without Classes

  European Conference on Object-Oriented Programming (ECOOP) 2016, Rome, Italy

  July 21, 2016

  Video Recording
• A Mechanical Soundness Proof for Subtyping Over Recursive Types

  Formal Techniques for Java-like Programs (FTfJP) 2016, Rome, Italy

  July 19, 2016
• Automating Gradual Typing

  Script To Program Evolution (STOP) 2016, Rome, Italy

  July 17, 2016
• Object Inheritance Without Classes

  New Zealand Computer Science Research Student Conference (NZCSRSC) 2016, Wellington, New Zealand

  April 28, 2016
• Gradual typing is morally incorrect; we're all monsters now

  New Object-Oriented Languages (NOOL) 2015, Pittsburgh, Pennsylvania, USA

  October 27, 2015
• Brand Objects for Nominal Typing

  European Conference on Object-Oriented Programming (ECOOP) 2015, Prague, Czech Republic

  July 8, 2015

  Video Recording
• Hop, Skip, Jump — Implementing a concurrent interpreter with Promises

  Linux Conference Australia (LCA) 2015, Auckland, New Zealand

  January 14, 2015

  Video Recording
• Tinygrace — A Simple, Safe, and Structurally Typed Language

  Formal Techniques for Java-like Programs (FTfJP) 2014, Uppsala, Sweden

  July 28, 2014
• Melchior — Web Programming in Haskell

  Sydney Area Programming Languages Interest Group (SAPLInG) 2013, Sydney, Australia

  December 16, 2013
• Building a Graceful Language — Design by Instructor

  Sydney Area Programming Languages Interest Group (SAPLInG) 2013, Sydney, Australia

  December 16, 2013
• REST in a Snap(let) — Building Web Resources in Haskell

  Open Source Developers Conference (OSDC) 2013, Auckland, New Zealand

  October 21, 2013