11 search results - page 3 / 3 » Polarity and the Logic of Delimited Continuations |
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...