I'm broadly interested in programming language theories, especially:
- Functional programming
- PL semantics
- Type theory & Logics
- Proof assistant & Formal verification
See my curriculum vitae
| Name | Name | Last commit date | ||
|---|---|---|---|---|
I'm broadly interested in programming language theories, especially:
See my curriculum vitae