HammondKevin

Scrapping your inefficient engine

C BradyEdwin, HammondKevin, 2010 .

The Peter Landin prize

HammondKevin, MichaelsonGreg, 2009 .

Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

HammondKevin, SarkarSusmit, CastroDavid, 2016 .

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

HammondKevin, BradyEdwin, 2010 .