Reference : Skalpel: A Type Error Slicer for Standard ML
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22721
Skalpel: A Type Error Slicer for Standard ML
English
Rahli, Vincent mailto [Cornell University > Computer Science Department]
Wells, Joe B. [Heriot-Watt University > School of Mathematical and Computer Sciences]
Pirie, John [Heriot-Watt University > School of Mathematical and Computer Sciences]
Kamareddine, Fairouz [> >]
2015
Electronic Notes in Theoretical Computer Science
Yes
International
1571-0661
http://hdl.handle.net/10993/22721

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
1-s2.0-S157106611500016X-main.pdfAuthor preprint303.8 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.