Talks

Talks at Conferences and Workshops

• (2024) Deriving Dependently Typed OOP From First Principles

  • Presented at OOPSLA 2024 in Pasadena
  • Link to Slides

• (2024) From FP to OOP and Back, Consistently

  • Presented at the UNSOUND workshop at SPLASH 2024
  • Link to Slides

• (2024) Grokking the Sequent Calculus (Functional Pearl)

  • Presented on September 3d at ICFP '24
  • Link to Slides
  • Link to video

• (2022) Administrative Normal Forms and Focusing for Lambda Calculi

  • Presented on September 28th at Colloquium Logicum in Konstanz.
  • Link to slides

• (2022) Structural Refinement Types (2022)

  • Presented on September 11th 2022 at TyDe 2022 in Lubljana.
  • Link to video
  • Link to slides

• (2022) Can functional programming be liberated from the natural deduction style?

  • Presented on September 7th at the online conference "Proofs, Computation and Meaning", organized by Luca Tranchini and Paolo Pistone.
  • Link to slides

• (2018) A Critical Edition of Popper's Work on Logic

  • Presented at the symposium "Karl Popper and the Philosophy of Mathematics" on April 5th in Klagenfurt.
  • The abstract is available in the official proceedings.

• (2017) Popper and the Role of Inference Rules in Logic

  • Presented at the conference "Beyond Logic" on May 24th in Cerisy-la-Salle.
  • The slides are available in the official proceedings of the conference.

Lectures

• (2023) Algebraic Subtyping

  • Guest lecture on July 12th for the "Programming Languages II" lecture at the University of Tübingen.
  • The slides are available here.

Informal Talks

• (2024) De-/Refunctionalization with Dependent Data and Codata Types

  • Presented on October 28th to the group of Paul Downen at UMass Lowell
  • The slides are available here

• (2024) Subtyping and Type Inference

  • Presented at the Software Technology Group, Utrecht University, March 2024
  • The slides are available here.

• (2024) Symmetric Dependent Data and Codata Types

  • Presented at the Programming Languages Seminar, TU Delft, March 2024
  • The slides are available here.

• (2024) Contributing to the Error Message Index

  • Presented at the Haskell Ecosystem Workshop 2024 @ Rapperswil
  • The slides are available here.

• (2024) Persistent Data Structures: From Lists to Hashmaps

  • Presented at the Tübingen Functional Programming Meetup, August 2024
  • The slides are available here