Collaborated with:G.Hutton N.Vazou
Talks about:liquid (2) haskel (2) resourc (1) program (1) perform (1) reason (1) compar (1) bench (1) asset (1) about (1)
Person: Martin A. T. Handley
DBLP: Handley:Martin_A=_T=
Contributed to:
2018
2020Wrote 2 papers:
- Haskell-2018-HandleyH #haskell #named #performance #source code
- AutoBench: comparing the time performance of Haskell programs (MATH, GH), pp. 26–37.
- POPL-2020-HandleyVH #haskell #reasoning #resource management
- Liquidate your assets: reasoning about resource usage in liquid Haskell (MATH, NV, GH), p. 27.