Axioms for delimited continuations in the CPS hierarchy (2004)

Cached

Download Links

by Yukiyoshi Kameyama
Venue:In Jerzy Marcinkowski and Andrzej Tarlecki, editors, Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Proceedings, volume 3210 of Lecture Notes in Computer Science
Citations:4 - 0 self