Sciweavers

6 search results - page 2 / 2
» Proving Ownership over Categorical Data
Sort
View
199
Voted
FOSSACS
2003
Springer
16 years 19 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