Skalpel: A Type Error Slicer for Standard ML

RAHLI, Vincent; Wells, Joe B.; Pirie, John; Kamareddine, Fairouz

doi:10.1016/j.entcs.2015.04.012

Demander un accès

Article (Périodiques scientifiques)

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

Permalien
https://hdl.handle.net/10993/22721

DOI
10.1016/j.entcs.2015.04.012

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

1-s2.0-S157106611500016X-main.pdf

Preprint Auteur (311.1 kB)

Demander un accès

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Skalpel: A Type Error Slicer for Standard ML

Date de publication/diffusion :

2015

Titre du périodique :

Electronic Notes in Theoretical Computer Science

eISSN :

1571-0661

Maison d'édition :

Elsevier, Pays-Bas

Peer reviewed :

Peer reviewed

Disponible sur ORBilu :

depuis le 01 décembre 2015

Statistiques

Nombre de vues

112 (dont 2 Unilu)

Nombre de téléchargements

1 (dont 1 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

citations OpenAlex