Flexible binding-safe programming
Current nominal systems for safely manipulating values with names, like Pure FreshML, only support simple binding structures for those names. As a result, few tools exist to safely manipulate code in those languages for which name problems are the most challenging. We address this by applying those...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/D20213100 |