From: pekka niiranen
Subject: =?UTF-8?B?Tm93IGF2YWlsYWJsZTogR29yZG9uIFBsb3RraW4uIENhbGwtYnktbmE=?= =?UTF-8?B?bWUsIGNhbGwtYnktdmFsdWUsLGFuZCB0aGUgzrstY2FsY3VsdXMu?=
Date:
Message-ID: <uOKfd.137$rd3.72@read3.inet.fi>
Hi everybody,
I mailed Mr. Gordon Plotkin and asked about his paper
"Gordon Plotkin. Call-by-name, call-by-value,
and the λ-calculus. Theoretical Computer Science,
1:125-159, 1975."
after reading about it on
"Great works in Programming Languages"
http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
and in http://lambda-the-ultimate.org/
The paper is now available on this web page:
http://homepages.inf.ed.ac.uk/gdp/publications/
-pekka-