KIT | KIT-Bibliothek | Impressum | Datenschutz

Lower Your Guards: A Compositional Pattern-Match Coverage Checker

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



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Vortrag
Publikationsjahr 2020
Sprache Englisch
Identifikator KITopen-ID: 1000120595
Veranstaltung 25th ACM SIGPLAN International Conference on Functional Programming (2020), New Jersey, MI, USA, 24.08.2020 – 26.08.2020
Bemerkung zur Veröffentlichung Die Veranstaltung fand wegen der Corona-Pandemie als Online-Event statt.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page