2 search results - page 1 / 1 » Witnessing side-effects |
TOPLAS
2008
14 years 11 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
83
Voted
ICFP
2005
ACM
16 years 11 days ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...