John Pirie

Publication Activity (10 Years)

Years Active: 2014-2017
Publications (10 Years): 1

Top Topics

Probabilistic Model

Top Venues

J. Symb. Comput.

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
Skalpel: A constraint-based type error slicer for Standard ML. J. Symb. Comput. 80 (2017)
Vincent Rahli, Joe B. Wells, John Pirie, Fairouz Kamareddine
Skalpel: A Type Error Slicer for Standard ML. LSFA (2014)