S. Abramsky, R. Jagadeesan. A Game Semantics for Generic Polymorphism. Oxford University Computing Laboratory Programming Research Group, Research Report RR-03-02, 2003. Available on-line at http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-03-02. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Game Semantics for Generic Polymorphism - Samson Abramsky And (2003) (1 citation) Self-citation (Abramsky Jagadeesan) (Correct)
No context found.
S. Abramsky, R. Jagadeesan. A Game Semantics for Generic Polymorphism. Oxford University Computing Laboratory Programming Research Group, Research Report RR-03-02, 2003. Available on-line at http://web.comlab.ox.ac.uk/oucl/publications/tr/rr-03-02.
Genericity and the π-Calculus - Berger, Honda, Yoshida (Correct)
No context found.
Abramsky, S., and Jagadeesan, R. A game semantics for generic polymorphism. In Proc. FOSSACS'03 (April 2003), no. 2620 in LNCS, Springer, pp. 1-22.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC