From: Chris Barker Date: Tue, 14 Jun 2011 18:38:54 +0000 (-0400) Subject: changes X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=573a8b36ce653c84c2aecb2b81ef99128cb41d13 changes --- diff --git a/cps.mdwn b/cps.mdwn index 4c40a667..d7752f4d 100644 --- a/cps.mdwn +++ b/cps.mdwn @@ -282,4 +282,5 @@ can mix and match: This xform interleaves call-by-name and call-by-value in layers, according to the depth of embedding. - +(Cf. page 4 of Reynold's 1974 paper ftp://ftp.cs.cmu.edu/user/jcr/reldircont.pdf (equation (4) and the +explanation in the paragraph below.)