John Pirie

According to our database¹, John Pirie authored at least 3 papers between 2014 and 2017.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2017

Skalpel: A constraint-based type error slicer for Standard ML.

[BibT_eX]

[DOI]

J. Symb. Comput., 2017

2014

New developments to Skalpel: a type error slicing method for explaining errors in type and effect systems.

[BibT_eX]

[DOI]

PhD thesis, 2014

Skalpel: A Type Error Slicer for Standard ML.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014