Lower your guards: a compositional pattern-match coverage checker
Graf, Sebastian
; Peyton Jones, Simon; Scott, Ryan G.
; Peyton Jones, Simon; Scott, Ryan G.
| 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 |
| Verlag | Association for Computing Machinery (ACM) |
| Band | 4 |
| Heft | ICFP |
| Seiten | 107:1–107:30 |
| Nachgewiesen in | Dimensions |