Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Game Semantics for Generic Polymorphism Samson Abramsky

Summary: A Game Semantics for Generic Polymorphism
Samson Abramsky
Oxford University Computing Laboratory
Radha Jagadeesan
DePaul University
Dedicated to Helmut Schwichtenberg on the occasion of his sixtieth birthday. His commitment
to the highest scienti c standards, coupled with a wise and kind humanity, is a continuing
source of inspiration.
Genericity is the idea that the same program can work at many di erent data types.
Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe
the structure of their instances by the following equational principle: if two generic programs,
viewed as terms of type 8X:A[X ], are equal at any given instance A[T ], then they are equal
at all instances. They proved that this rule is admissible in a certain extension of System
F, but nding a semantically motivated model satisfying this principle remained an open
In the present paper, we construct a categorical model of polymorphism, based on game
semantics, which contains a large collection of generic types. This model builds on two novel
 A direct interpretation of variable types as games, with a natural notion of substitution


Source: Abramsky, Samson - Computing Laboratory, University of Oxford


Collections: Computer Technologies and Information Sciences