favonia/cbpv

Call-by-push-value in Celf