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