Article (Scientific journals)
Skalpel: A Type Error Slicer for Standard ML
Rahli, Vincent; Wells, Joe B.; Pirie, John et al.
2015In Electronic Notes in Theoretical Computer Science
Peer reviewed
 

Files


Full Text
1-s2.0-S157106611500016X-main.pdf
Author preprint (311.1 kB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Rahli, Vincent ;  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
External co-authors :
yes
Language :
English
Title :
Skalpel: A Type Error Slicer for Standard ML
Publication date :
2015
Journal title :
Electronic Notes in Theoretical Computer Science
ISSN :
1571-0661
Publisher :
Elsevier, Netherlands
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 01 December 2015

Statistics


Number of views
55 (2 by Unilu)
Number of downloads
1 (1 by Unilu)

Scopus citations®
 
11
Scopus citations®
without self-citations
11

Bibliography


Similar publications



Contact ORBilu