Mar
18th
Tue
18th
Eriskay: a Programming Language Based on Game Semantics
John Longley and Nicholas Wolverson. GaLoP 2008. We report on an ongoing project to design a strongly typed, class-based object-oriented language based around ideas from game semantics. On LtU, including a link to some lecture notes on game semantics.