BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Eriskay: a programming language based on game semantics. - John Lo
 ngley\, University of Edinburgh
DTSTART:20080509T130000Z
DTEND:20080509T140000Z
UID:TALK11068@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:I will describe an ongoing project to design a class-based obj
 ect oriented language based around ideas from game semantics. Part of our 
 goal is to create a powerful modern programming language whose clean seman
 tic basis renders it amenable to work in program verification\; however\, 
 we argue that our semantically inspired approach also yields benefits of m
 ore immediate relevance to programmers\, such as expressive new language c
 onstructs and novel type systems for enforcing security properties of the 
 language.\n\nOur work is based on a simple game model due to Lamarche\, wh
 en endowed with a suitable linear exponential\, suffices for modelling sta
 teful objects\, higher order functions\, coroutining\, recursive types\, p
 olymorphism with subtyping\, a class system with inheritance and dynamic b
 inding\, and even - seen in a certain light - such features as fresh name 
 generation and higher-order store.\nI will explain in general terms how th
 is model may be used to guide the design of a language\, and will then foc
 us on three specific areas where our approach appears to offer something n
 ew:\n\n(1) Linear types and coroutining operators.\n(2) Static control of 
 the use of higher-order store\, and how this helps with the encapsulation 
 of computational effects such as exceptions.\n(3) Higher order programming
  with classes\, including a full abstraction result for class implementati
 ons.\n\n(Joint work with Nicholas Wolverson)\n
LOCATION:Room FW11\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR