References of "Pirie, John"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSkalpel: A Constraint-Based Type Error Slicer for Standard ML
Rahli, Vincent UL; Wells, Joe; Pirie, John et al

in Journal of Symbolic Computation (2016)

Detailed reference viewed: 206 (26 UL)
Full Text
Peer Reviewed
See detailSkalpel: A Type Error Slicer for Standard ML
Rahli, Vincent UL; Wells, Joe B.; Pirie, John et al

in Electronic Notes in Theoretical Computer Science (2015)

Detailed reference viewed: 118 (2 UL)