- Incentives for Sharing in Peer-to-Peer Networks Philippe Golle1,
- J. Functional Programming 1 (1): 1000, January 1993 c 1993 Cambridge University Press 1 Operational Interpretations of an Extension of
- Higher-Order and Symbolic Computation, 5, 275307 (1999) c 1999 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Translucent Sums: A Foundation for Higher-Order Module Systems
- Translucent Sums: A Foundation for HigherOrder Module Systems
- Polymorphic Type Assignment and CPS Conversion (To appear: ACM SIGPLAN Workshop on Continuations, San Francisco, June 1992)
- Explicit Polymorphism and CPS Conversion Robert Harper
- Reliability Analysis of Deduplicated and Erasure-Coded Storage
- LISP AND SYMBOLIC COMPUTATION: An International Journal, ?, ????, 1993 c 1993 Kluwer Academic Publishers Manufactured in The Netherlands
- Reliability Analysis of Deduplicated and Erasure-Coded Storage
- A Type-Theoretic Approach to Higher-Order Modules with Sharing Robert Harper
- Translucent Sums: A Foundation for Higher-Order Module Systems
- Translucent Sums: A Foundation for Higher-Order Module Systems
- Exceptions Are Strictly More Powerful Than Mark Lillibridge
