E.S. Bainbridge, P.J. Freyd, A. Scedrov and P.J. Scott. Functorial polymorphism. Theoretical Computer Science, Volume 70, pages 35--64, 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Semantic and Syntactic Approaches to Simulation Relations - Hannay, Katsumata, Sannella (2003) (Correct)
Games and Full Completeness for Multiplicative Linear Logic - Samson Abramsky And (1994) (132 citations) (Correct)
From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
Modal Predicates and Coequations - Kurz, Rosicky (2002) (Correct)
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
Modal Predicates and Coequations - Kurz, Rosicky (2002) (Correct)
Sequentiality vs. Concurrency in Games and Logic - Abramsky (2001) (Correct)
The Standard PER Model in the Reynolds/Ma Framework - Brown (1999) (Correct)
Term Graph Rewriting - Plump (1998) (21 citations) (Correct)
Categories of Processes Enriched in Final Coalgebras - Krstic, Launchbury, Pavlovic (2001) (2 citations) (Correct)
Impredicative Representations of Categorical Datatypes - Altenkirch (1994) (Correct)
Term Graph Rewriting - Plump (1998) (21 citations) (Correct)
Non-uniform Recursion: The solution (minimal sorting for fold) - Wehr (2000) (Correct)
A Fresh Look at Parametric Polymorphism: Covariant Types - Barry Jay School (1996) (Correct)
Covariant Types - Barry Jay School (1997) (Correct)
Concurrent Games and Full Completeness - Samson Abramsky Lfcs (1998) (16 citations) (Correct)
A Logic for Parametric Polymorphism - Plotkin, Abadi (1993) (47 citations) (Correct)
Subtyping and Parametricity - Plotkin, Abadi, Cardelli (1993) (4 citations) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
A Formal Calculus for Categories - Caccamo (2003) (Correct)
Formal Parametric Polymorphism - Martn Abadi Luca (1993) (35 citations) Self-citation (Polymorphism) (Correct)
The Bainbridge-Freyd-Scedrov-Scott Parametric PER Model in the.. - Brown (1999) Self-citation (Bainbridge Freyd Scedrov Scott) (Correct)
Notes on Sconing and Relators - Mitchell, Scedrov (1993) (28 citations) Self-citation (Scedrov) (Correct)
First 50 documents Next 50
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