The Definition of Standard ML (Revised). MIT Press. Morrisett, John Gregory. 1995 (December). Compiling with Types. Ph.D. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Relational Interpretations of Recursive Types in an.. - Lars Birkedal And (1997) (15 citations) Self-citation (December Types) (Correct)
No context found.
The Definition of Standard ML (Revised). MIT Press. Morrisett, John Gregory. 1995 (December). Compiling with Types. Ph.D.
Relational Interpretations of Recursive Types in an.. - Birkedal, Harper (1997) (15 citations) Self-citation (December Types) (Correct)
....useful discussions and for their suggestions on this paper. We also thank Mart in Abadi, Furio Honsell, Sren Lassen and the referees for their very helpful comments. The work described here was carried out in part at the Isaac Newton Institute for Mathematical Sciences of Cambridge University in the autumn of 1995. We are grateful to the Newton Institute and the organizers of the program on Semantics of Computation for their support. Robert Harper is supported by the National Science Foundation under Grant No. CCR 95 2674. Lars Birkedal is supported in part by the Danish 72 National Research Council and ....
The Definition of Standard ML (Revised). MIT Press. 73 Morrisett, John Gregory. 1995 (December). Compiling with Types. Ph.D.
Distributed Object Management in Thor - Liskov, Day, Shrira (1993) (42 citations) (Correct)
No context found.
School of Computer Science, Carnegie Mellon University. Milner R., M. Tofte, and R. Harper. (1990) The Definition of Standard ML. MIT Press, Cambridge, MA Moss J. E. B. (1990) Design of the Mneme Persistent Object Store. ACM Transactions on Information Systems 8(2):103-139.
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