Reference : Skalpel: A Constraint-Based Type Error Slicer for Standard ML
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/24182
Skalpel: A Constraint-Based Type Error Slicer for Standard ML
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Wells, Joe []
Pirie, John []
Kamareddine, Fairouz []
2016
Journal of Symbolic Computation
Yes
http://hdl.handle.net/10993/24182

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
skalpel-jsc.pdfAuthor preprint778.05 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.