Skalpel: A Constraint-Based Type Error Slicer for Standard ML

Article (Scientific journals)

Rahli, Vincent; Wells, Joe; Pirie, John et al.

2016 • In Journal of Symbolic Computation

Peer reviewed

Permalink
https://hdl.handle.net/10993/24182

DOI
10.1016/j.entcs.2015.04.012

skalpel-jsc.pdf

Author preprint (796.72 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Rahli, Vincent ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Wells, Joe

Pirie, John

Kamareddine, Fairouz

External co-authors :

yes

Language :

English

Title :

Skalpel: A Constraint-Based Type Error Slicer for Standard ML

Publication date :

2016

Journal title :

Journal of Symbolic Computation

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 04 February 2016

Number of views

123 (26 by Unilu)

Number of downloads

163 (6 by Unilu)

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations