MSFP 2022 - Fritz Henglein - Combinatory Adjoints and Differentiation
MSFP 2022 - Mikkel Kragh Mathiesen - The Programming of Algebra
MSFP 2022 - Petr Kourzanov - Tableless Calculation of Circular Functions on Dyadic Rationals
MSFP 2022 - Joris Ceulemans - Sikkel: Multimode Simple Type Theory as an Agda Library
MSFP 2022 - Catherine Dubois - LIBNDT: Towards a Formal Library on Spreadable Properties over...
MSFP 2022 - Alexandre Garcia de Oliveira - On Structuring Functional Programs with Monoidal...
Highlights MSFP TynX with Hecarim - LFL Spring 2022
Highlights MSFP Woolite with Aphelios - LFL Spring 2022
MSFP 2022 - Robert Atkey - Data Types with Negation
LFL Spring Split 2022 - W2D1 - ME vs MSFP
LFL Summer Split 2022 - W7D2 - MSFP vs LDLC
LFL Spring Split 2022 - W5D2 - MSFP vs KC
LFL Summer Split 2022 - W4D1 - MSFP vs KC
LFL Summer Split 2022 - W3D2 - MSFP vs LDLC
LFL Spring Split 2022 - Playoffs D2 - MSFP vs VITB
MSFP 2022 - Dylan McDermott - What Makes a Strong Monad
LFL Summer Split 2022 - Playoffs Round 1 - MSFP vs VITB
LFL Summer Split 2022 - W1D1 - MSFP vs GW
MSFP 2022 - Valeria de Paiva - Going Without: A Linear Modality and its Role