• Linked Applications
    Loading…

Page Information

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Announcements about reading group meetings are sent to the whole Department of Computing, but we also maintain a mailing list for regular participants and for participants who are not in the department. The mailing list receives announcements and special mailings not of general interest. Anyone can ask to be subscribed to the list. Alternatively, you can receive announcements by subscribing to the RSS feed of the Latest Space News for the Programming Languages Research Group (PLRG) via the sidebar to the left of this page.

Current Topic:

...

 Implicit Modular Structured Operational Semantics

On December 9February 17, we will begin discussing Gordon Plotkin's notes on Structured Operational Semantics.discuss Peter Mosses' paper Implicit Propagation in Structural Operational Semantics. This work builds on classical Structured Operational Semantics to define a way to extend semantic definitions to support new language features without having to retrofit new semantic information into rules that don't use it.

Previous topics

PL Reading Group Archive

...