Skalpel: A constraint-based type error slicer for standard ML

Vincent Rahli, Joseph Brian Wells, John Pirie, Fairouz Dib Kamareddine

Research output: Contribution to journal › Article › peer-review

4 Citations (Scopus)

59 Downloads (Pure)

1 results
- Last Name(descending)

Joe Wells
- joe.wellshw.acuk
- School of Mathematical & Computer Sciences - Senior Research Fellow
- School of Mathematical & Computer Sciences, Computer Science - Senior Research Fellow
Person: Academic (Research & Teaching)