Translucent Abstraction: Safe Views through Invertible Programming (Extended version)
Pattern matching is advantageous for understanding and reasoning about function definitions, but it tends to tightly couple the interface and implementation of a datatype. Since Wadler's \"views\" proposal two decades ago, significant effort has been invested in tackling this non-modu...
| Autori principali: | , , |
|---|---|
| Natura: | Conference item |
| Pubblicazione: |
2009
|