Not registered as user yet

Name: Langston Barrett

Affiliation: Galois, Inc

Contributions

TyDe 2020 Author of Predictable Macros for Hindley-Milner (Extended Abstract) within the TyDe 2020-track