31 search results - page 7 / 7 » A note on Bar Induction in Constructive Set Theory |
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
Dynamic binding and delimited control are useful together in many settings, including Web applications, database cursors, and mobile code. We examine this pair of language feature...