Registered user since Mon 29 Aug 2022
Name:Mathieu Boespflug
Affiliation:Tweag I/O
Contributions
| POPL 2018 | Linear Haskell: practical linearity in a higher-order polymorphic language Linear Haskell: practical linearity in a higher-order polymorphic language | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile