Type families with class, type classes with family
Research output: Contribution to journal › Journal article › Research › peer-review
| Original language | English |
|---|---|
| Journal | ACM SIGPLAN Notices |
| Volume | 50 |
| Issue number | 12 |
| Pages (from-to) | 129-140 |
| Number of pages | 12 |
| ISSN | 0362-1340 |
| DOIs | |
| Publication status | Published - 2015 |
ID: 162496349