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