Martin A. T. Handley

According to our database¹, Martin A. T. Handley authored at least 4 papers between 2018 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Efficiency three ways: tested, verified, and formalised.

[BibT_eX]

[DOI]

PhD thesis, 2020

Liquidate your assets: reasoning about resource usage in liquid Haskell.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

2018

Improving Haskell.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

AutoBench: comparing the time performance of Haskell programs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018