Talks at Conferences and Workshops
-
(2024) Grokking the Sequent Calculus (Functional Pearl)
- Presented on September 3d at ICFP '24
- Link to Slides
-
(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) 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