31 search results - page 7 / 7 » A note on Bar Induction in Constructive Set Theory |
80
Voted
ICFP
2006
ACM
15 years 9 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...