J. Roger Hindley and Jonathan P. Seldin. Introduction to Combinators and #-Calculus. Cambridge University Press, 1986. 17 Ravara, Matos et al. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
A Proof-Theoretic Characterization of the Basic Feasible.. - Strahm (2002) (Correct)
Electronic Notes in Theoretical Computer Science 85 No. 1 (2003) - Url Http Www (Correct)
A Functional Shell That Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2004) (Correct)
Combinatory Representation of Mobile Processes - Kohei Honda Kohei (1994) (19 citations) (Correct)
Static Control of Code Migration - Francisco Martins And (Correct)
Using, Understanding, and Unraveling - The OCaml Language - From.. - Remy (Correct)
An Illative Theory of Relations - Plotkin (1990) (7 citations) (Correct)
Lexically Scoped Distribution: What You See is What You.. - Ravara, Matos.. (2003) (Correct)
On Statman's Finite Completeness Theorem - Richard Statman Gilles (1992) (1 citation) (Correct)
Higher-Order Functional-Logic Programming: A Systematic Development - Prehofer (1997) (Correct)
A Functional Shell that Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2004) (Correct)
A Functional Shell that Dynamically Combines Compiled Code - van Weelden, Plasmeijer (2003) (Correct)
Higher-Order Narrowing with Convergent - Systems Christian Prehofer (1995) (Correct)
Higher-Order Narrowing - Christian Prehofer Institut (1994) (11 citations) (Correct)
Object-Oriented Software Specification in Programming.. - Bryant, Vaidyanathan (Correct)
The Complexity Of Derivations Of Matrix Identities - Soltys-Kulinicz (2001) (Correct)
Communication Errors in the π-Calculus are Undecidable - Vasconcelos, Ravara (Correct)
Higher-Order Narrowing with Definitional Trees - Michael Hanus And (1996) (25 citations) (Correct)
A Structural Approach to Reversible Computation - Abramsky (2001) (Correct)
About the Confluence of Equational Pattern Rewrite Systems - Boudet, Contejean (Correct)
Parametric Parameter Passing λ-calculus - Paolini, Rocca (2003) (Correct)
On Functions and Types - Kamareddine (Correct)
Revisiting the Notion of Function - Kamareddine, Laan, Nederpelt (Correct)
Formalizing Non-Termination of Recursive - Programs Reinhard Kahle (2001) (Correct)
Curry's Anticipation of the Types Used in Programming Languages - Seldin (2003) Self-citation (Seldin) (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