Sciweavers

6 search results - page 2 / 2
» Proving Ownership over Categorical Data
Sort
View
FOSSACS
2003
Springer
14 years 17 days 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