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

Cached

Download Links

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