The Moby Programming Language

Papers

• Fisher, K. and Reppy, J. Object-oriented aspects of Moby Submitted for publication
  Note: an earlier version of this paper is available as a University of Chicago Computer Science Department Technical Report (TR-2003-10)
  Last revised: April 6, 2004.
  [abstract] [.pdf]
  

• Reppy, J. Optimizing nested loops using local CPS conversion Higher-Order and Symbolic Computation, 15, 2002, pp. 161-180.
  Note: this paper is a journal-length version of the CW'01 paper listed below.
  Last revised: May 6, 2002.
  [abstract] [.pdf]
  

• Fisher, K. and J. Reppy. Compiler support for lightweight concurrency Bell Labs Technical Memorandum
  Last revised: March 21, 2002.
  [abstract] [.pdf]

• Fisher, K., R. Pucella, and J. Reppy. A framework for interoperability
  Presented at BABEL'01 in September.
  Last revised: August 10, 2001.
  [abstract] [.pdf] [.ps] [.ps.gz]
  

• Reppy, J. Local CPS conversion in a direct-style compiler Presented at The Third ACM SIGPLAN Workshop on Continuations
  Last revised: December 1, 2000.
  [abstract] [.pdf] [.ps] [.ps.gz]
  

• Fisher, K. and J. Reppy. Inheritance-based subtyping A revised version of this paper appears in Information and Computation, 177, 2002, pp. 28-55
  Note: this paper is a journal-length version of the ECOOP'00 and FOOL 7 papers listed below
  Last revised: April 2000.
  [abstract] [.ps] [.ps.gz]
  

• Fisher, K., R. Pucella, and J. Reppy. Data-level interoperability Bell Labs Technical Memorandum.
  Last revised: April 2000.
  [abstract] [.ps] [.ps.gz]
  

• Fisher, K. and J. Reppy. Extending Moby with inheritance-based subtyping ECOOP'00, June 2000.
  Note: this paper revises the FOOL 7 paper with a much cleaner formal treatment of inheritance-based subtyping.
  Last revised: March 20, 2000.
  [abstract] [.ps] [.ps.gz]
  

• Fisher, K., J. Reppy, and J.G. Riecke. A calculus for compiling and linking classes. Presented at ESOP'00, March 2000.
  Last revised: January 2000.
  [abstract] [.ps] [.ps.gz]
  

• Fisher, K. and J. Reppy. Inheritance-based subtyping Presented at FOOL 7, January 2000.
  Last revised: December 1999.
  [.ps] [.ps.gz]
  

• Fisher, K. and J. Reppy. The design of a class mechanism for Moby. ACM SIGPLAN PLDI'99
  Last revised: Februrary 1999.
  [abstract] [.ps] [.ps.gz]
  Slides [.ps] [.ps.gz]

• Fisher, K. and J. Reppy. Foundations for Moby classes. Bell Labs Technical Memorandum
  Last revised December 1998.
  [abstract] [.ps] [.ps.gz]