conf.researchr.org / Martin Adam Thomas Handley
Not registered as user yet
Name:Martin Adam Thomas Handley
Affiliation:University of Nottingham
Contributions
| POPL 2020 | Author of Liquidate Your Assets: Reasoning About Resource Usage in Liquid Haskell within the Research Papers-track |