Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
Request a copy
Article (Scientific journals)
Skalpel: A Type Error Slicer for Standard ML
Rahli, Vincent
;
Wells, Joe B.
;
Pirie, John
et al.
2015
•
In
Electronic Notes in Theoretical Computer Science
Peer reviewed
Permalink
https://hdl.handle.net/10993/22721
DOI
10.1016/j.entcs.2015.04.012
Files
Send to
Details
Statistics
Bibliography
Similar publications
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
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
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)
More statistics
Scopus citations
®
11
Scopus citations
®
without self-citations
11
Bibliography
Similar publications
Contact ORBilu