Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
ANN: An Eclectic Bibliography on Programming Language Semantics
43 views
Skip to first unread message
Jim Bender
Sep 19, 2012, 12:40:39 AM9/19/12
to
I've recently created a new web page focused on semantics: "An Eclectic Bibliography on Programming Language Semantics":
https://sites.google.com/site/plsemantics/
This collection consists of works on PL semantics currently of interest to me personally, and is not intended to be comprehensive, nor focused on a single perspective on semantics -- hence the description "eclectic". That said, many of the works included here are related to the approach to semantics presented in Felleisen's "Semantics Engineering with PLT Redex".
However, those interested in denotational semantics may also find interesting the early publications by Dana Scott, Christopher Strachey and others at Oxford, which I have collected on this site.
Jim Bender
https://sites.google.com/site/plsemantics/
This collection consists of works on PL semantics currently of interest to me personally, and is not intended to be comprehensive, nor focused on a single perspective on semantics -- hence the description "eclectic". That said, many of the works included here are related to the approach to semantics presented in Felleisen's "Semantics Engineering with PLT Redex".
However, those interested in denotational semantics may also find interesting the early publications by Dana Scott, Christopher Strachey and others at Oxford, which I have collected on this site.
Jim Bender
0 new messages