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...
| প্রধান লেখক: | , , |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
2009
|