Equational axiomatization of call-by-name delimited control - Sciweavers

38

click to vote

more PPDP 2010 ...

logic.cs.tsukuba.ac.jp

Tweet