Martin A. T. Handley

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Functional Programming

Plagiarism Detection

Access Patterns

Top Venues

Proc. ACM Program. Lang.

Publications

Martin A. T. Handley, Niki Vazou, Graham Hutton
Liquidate your assets: reasoning about resource usage in liquid Haskell. Proc. ACM Program. Lang. 4 (POPL) (2020)
Martin A. T. Handley, Graham Hutton
Improving Haskell. TFP (2018)
Martin A. T. Handley, Graham Hutton
AutoBench: comparing the time performance of Haskell programs. Haskell@ICFP (2018)