Personal tools
You are here: Home Events Abstract Archives 2007-2008 A trace semantics of (something like) ML

A trace semantics of (something like) ML

Jim Laird University of Bath 4pm Tuesday 4th December 2007 Room 2511, JCMB, King's Buildings

I'll present a fully abstract semantics for a ML-like functional language including references and exceptions with locally bound names, and first-class polymorphism, based on a labelled transition system with simple atomic labels. I'll discuss connections with other semantics such as games models --- why these are very close for some fragments, whereas other features can be precisely represented with labelled transitions much more easily than with games.

Document Actions