A Game semantics for Generic Polymorphism
S. Abramsky and R. Jagadeesan
Details
| Book Title |
Foundations of Software Science and Computational Structures‚ 6th International Conference‚ FOSSACS 2003 |
| Editor |
A. D. Gordon |
| Pages |
1−22 |
| Series |
Springer Lecture Notes in Computer Science |
| Volume |
2620 |
| Year |
2003 |
Links
Related pages
|
People |