Login / Signup

Equational axiomatization of call-by-name delimited control.

Yukiyoshi KameyamaAsami Tanaka
Published in: PPDP (2010)
Keyphrases