Formalizing and Automating Shortcut Fusion Through Church Encodings
Eben Rogers
Date: Mon, June 24, 2024
Time: 12:30
Room: Social Data Lab
Note: This is a MSc thesis defense
Previous:
| Replication and formalization of (Co)Church encoded shortcut fusion
Next:
| Can The Language Server Protocol Handle Dependent Types?