R. L. Crole. Functional Programming Theory, 1995. Department of Mathematics and Computer Science Lecture Notes, L A T E X format iv+68 pages with index. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Completeness of Bisimilarity for Contextual Equivalence in Linear.. - Crole (2001) Self-citation (Crole) (Correct)
No context found.
R. L. Crole. Functional Programming Theory, 1995. Department of Mathematics and Computer Science Lecture Notes, L A T E X format iv+68 pages with index.
Completeness of Bisimilarity for Contextual Equivalence in Linear.. - Crole Self-citation (Crole) (Correct)
No context found.
R. L. Crole. Functional Programming Theory, 1995. Department of Mathematics and Computer Science Lecture Notes, L A T E X format iv+68 pages with index.
Encoding FIX in Object Calculi - Crole (2002) Self-citation (Crole) (Correct)
....semantics. We shall assume that readers are familiar with type theory, and more speci cally with type theories possessing judgements of both equality, and operational reduction. A good general reference for (dependent) type theory is the book [10] For operational reduction, see for example [2, 4, 6, 8, 11, 12, 13]. In fact the results presented here are founded on the FIX type theory introduced by Crole and Pitts in [3] and the object type theories (calculi) introduced by Abadi and Cardelli in [1] If the reader is not familiar with the details of these type theories, we would ask that they consult the ....
R. L. Crole. Functional Programming Theory, 1995. Department of Mathematics and Computer Science Lecture Notes, L A E X format iv+68 pages with index.
Encoding FIX in Object Calculi - Crole (1999) Self-citation (Crole) (Correct)
....Cardelli in [1] We shall assume that readers are familiar with these theories, and more generally with type theories possessing judgements of both equality, and operational reduction. A good general reference for (dependent) type theory is the book [10] For operational reduction, see for example [2, 4, 6, 8, 11, 12, 13]. We shall give brief summaries of the rules which generate judgements of the FIX type theory when we feel it is especially useful to do so; otherwise, to prevent undue repetition, we ask that readers consult the original references. Abadi and Cardelli have shown that object calculi are highly ....
R. L. Crole. Functional Programming Theory, 1995. Department of Mathematics and Computer Science Lecture Notes, L A T E X format iv+68 pages with index.
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