Optimising First-Class Pattern Matching (SLE'22)
Jeff Smits
Date: Wed, November 16, 2022
Time: 11:00
Room: Turing 0.E420 / Zoom
This is a SPLASH’22 talk.
Previous:
Daniel A. A. Pelsmaeker | Language-parametric static semantic code completion (OOPSLA'22)
Next:
| Dependent Type-Checking Modulo Associativity and Commutativity