KIT | KIT-Bibliothek | Impressum | Datenschutz

Lower your guards: a compositional pattern-match coverage checker

Graf, Sebastian; Peyton Jones, Simon; Scott, Ryan G.

Open Access Logo


Verlagsausgabe §
DOI: 10.5445/IR/1000122546
Veröffentlicht am 24.08.2020
Cover der Publikation
Zugehörige Institution(en) am KIT Lehrstuhl IPD Snelting (Lehrstuhl IPD Snelting)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 08.2020
Sprache Englisch
Identifikator ISSN: 2475-1421, 2475-1421
KITopen-ID: 1000122546
Erschienen in Proceedings of the ACM on programming languages
Band 4
Heft ICFP
Seiten 107:1–107:30
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page