28 citations · 37 across the 13 of their papers we have counts for
4 papers · 1 filter
A Game Semantics for Generic Polymorphism
Samson Abramsky, Radha Jagadeesan
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the…
Games and Full Completeness for Multiplicative Linear Logic
Samson Abramsky, Radha Jagadeesan
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear L…
Full Abstraction for PCF
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
An intensional model for the programming language PCF is described, in which the types of PCF are interpreted by games, and the terms by certain "history-free" strategies. This mod…
TCC, with History
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta
Modern computer systems are awash in a sea of asynchronous events. There is an increasing need for a declarative language that can permit business users to specify complex event-pr…