
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