---
theme: dracula
paginate: true
_paginate: false
footer: Mini-Haskell · Julius Fischer · 19.11.2024
_footer: ""
---

# Destination Calculus:
## A Linear 𝜆-Calculus for Purely Functional Memory Writes
### Technische Fakultät Freiburg
#### Julius Fischer

###### 10. Juni 2026

---

# Referenes
