Sciweavers

6 search results - page 2 / 2
» Proving Ownership over Categorical Data
Sort
View
FOSSACS
2003
Springer
13 years 11 months ago
A Game Semantics for Generic Polymorphism
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 th...
Samson Abramsky, Radha Jagadeesan