X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=cps.mdwn;fp=cps.mdwn;h=d7752f4dfcffc9e1bc7c5d190580e876881db72b;hp=4c40a667f2717f9e6b3e61958ca1016672dc9718;hb=573a8b36ce653c84c2aecb2b81ef99128cb41d13;hpb=27ce0d45d4ab28840605ec2130f6ba4ecd9d6213

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.)