Logical Relations for Call-by-value Delimited Continuations (2007)

Cached

Download Links

by Kenichi Asai
Venue:In Trends in Functional Programming
Citations:4 - 4 self