A generic translation from case trees to eliminators
Kayleigh Lieverse
Date: Thu, June 20, 2024
Time: 11:45
Room: Arena Echo
Note: This is a MSc thesis defense
Previous:
| Verifying weak memory concurrent data structure implementations
Next:
| Replication and formalization of (Co)Church encoded shortcut fusion