Benjamin C. Pierce. Basic Category Theory for Computer Scientists. The MIT Press, 1991. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Basic Category Theory for Models of Syntax - Crole (2002) (2 citations) (Correct)
A Formal Semantics for the C Programming Language - Nikolaos Papaspyrou Doctoral (1998) (1 citation) (Correct)
Categorical and Graphical Models of Programming Languages - Schweimeier (2001) (1 citation) (Correct)
A Resumption Monad Transformer and its Applications in the.. - Papaspyrou (2001) (1 citation) (Correct)
Value Recursion in Monadic Computations - Erkok (2002) (2 citations) (Correct)
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) (Correct)
Linear, Branching Time and Joint Closure Semantics for.. - Engelfriet, Treur (Correct)
Specification of Software Architecture Reconfiguration - Wermelinger (1999) (5 citations) (Correct)
Ontology Reuse and Application - Uschold, Healy, Williamson, Clark.. (1998) (11 citations) (Correct)
The OMRS Project: State of the Art - Giunchiglia, Bertoli, Coglio (1998) (1 citation) (Correct)
A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar - Kepser (2000) (Correct)
KM - The Knowledge Machine 1.4: Users Manual (Revision 1) - Clark, Porter (1999) (Correct)
The Gist of Side Effects in Pure Functional Languages - Pablo Nogueira Http (Correct)
Tagless Staged Interpreters for Typed Languages - Pasalic, Taha, Sheard (2002) (3 citations) (Correct)
Nominal Logic Programming - Cheney (2004) (Correct)
Embedding Algebraic Specifications in HOL - Dan Zhou And (Correct)
Scritical Pairs and Sunification - Goguen, Marcus (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) (Correct)
The Development of a Computer Application that Identi - Es Reusable Components (Correct)
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
Recursion Patterns as Hylomorphisms - Cunha (2003) (Correct)
Domain Theory for Concurrency - Nygaard (2003) (1 citation) (Correct)
Nondeterminism and Infinite Computations in Constraint - Programming Frank De (1995) (2 citations) (Correct)
KM - The Knowledge Machine 2.0: Users Manual - Clark, Porter (1998) (Correct)
Systems Synthesis: Towards a new paradigm and discipline for.. - Williamson (2001) (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