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