Not registered as user yet
Name:Peter J. Stuckey
Affiliation:Monash University
Contributions
TyDe 2021 | Interactive Haskell Type Inference Exploration (Extended Abstract) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile