Talks and Meetings

Towards Full Dependent Types in Scala Slides
Invited talk at PurPL Retreat 2020, August 31, 2020.

Event Correlation Systems à la Carte Slides
Invited talk at Purdue University/PurPL, USA, November 15, 2019. Host : Tiark Rompf.

Programming and Reasoning with Algebraic Effects and Effect Handlers
NII Shonan Meeting Seminar 146, Japan, March 24 – March 29, 2019.

Functional Stream Libraries and Fusion: What’s Next?
NII Shonan Meeting Seminar 136, Japan, October 21 – October 25, 2018.

Algebraic Effect Handlers go Mainstream
Dagstuhl Seminar 18172, Germany, April 22 – April 27, 2018.

The Marriage of Effects and Joins
Invited talk at the University of Edinburgh, UK, December 14, 2017. Host : Sam Lindley.

Event Correlation with Algebraic Effects
Invited talk at University of Cambridge, UK, September 15, 2017. Host : Neel Krishnaswami.

Oregon Programming Languages Summer School (OPLSS)
University of Oregon, USA, June 20 - July 2, 2016.