Encoding FIX in Object Calculi
RAIRO - Theoretical Informatics and Applications (2010)
- Volume: 34, Issue: 1, page 15-38
- ISSN: 0988-3754
Access Full Article
topAbstract
topHow to cite
topReferences
top- M. Abadi and L. Cardelli, A Theory of Objects. Springer-Verlag, Monogr. Comput. Sci. (1996).
- R.L. Crole, Functional Programming Theory (1995). Department of Mathematics and Computer Science Lecture Notes, LATEX format iv+68 pages with index.
- R.L. Crole and A.M. Pitts, New Foundations for Fixpoint Computations: FIX Hyperdoctrines and the FIX Logic. Information and Computation98 (1992) 171-210. LICS '90 Special Edition of Information and Computation.
- A.D. Gordon, Bisimilarity as a theory of functional programming. Electron. Notes Theor. Comput. Sci. 1 (1995).
- A.D. Gordon, Everything is an object. Seminar Notes, Microsoft Research U.K. (1997).
- C.A. Gunter, Semantics of Programming Languages: Structures and Techniques. Foundations of Computing. MIT Press (1992).
- G. Kahn, Natural semantics, edited by K. Fuchi and M. Nivat, Programming of Future Generation Computers. Elsevier Science Publishers B.V. North Holland (1988) 237-258.
- Z. Luo, Computation and Reasoning. Oxford University Press, Monogr. Comput. Sci. 11 (1994).
- E. Moggi, Notions of computation and monads. Theoret. Comput. Sci.93 (1989) 55-92.
- B. Nordström, K. Petersson and J.M. Smith, Programming in Martin-Löf's Type Theory. Oxford University Press, Monogr. Comput. Sci. (1990).
- A.M. Pitts, Operationally Based Theories of Program Equivalence, edited by P. Dybjer and A.M. Pitts, Semantics and Logics of Computation (1997).
- G.D. Plotkin, A structural approach to operational semantics. Technical Report DAIMI-FN 19. Department of Computer Science, University of Aarhus, Denmark (1981).
- G. Winskel, The Formal Semantics of Programming Languages. Foundations of Computing. The MIT Press, Cambridge, Massachusetts (1993).