< Terug naar vorige pagina

Publicatie

GADTs Meet Their Match: Pattern-Matching Warnings That Account for GADTs, Guards, and Laziness

Boekbijdrage - Boekhoofdstuk Conferentiebijdrage

Boek: PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15)
Pagina's: 424 - 436
Aantal pagina's: 13
Jaar van publicatie:2015