Lower Your Guards: A Compositional Pattern-Match Coverage Checker
Graf, Sebastian
; Jones, Simon Peyton; Scott, Ryan G.
; 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. |