Extracted from fox-bib.bib with
M-x bibtex-extract-matching-entries fox-bib.bib keywords misc
Fri May  4 18:58:27 UTC 2001

@Unpublished{Halpern?bsl,
  author =       "Joseph Y. Halpern and Robert Harper and Neil Immerman
                 and Phokion G. Kolaitis and Moshe Y. Vardi and Victor
                 Vianu",
  title =        "On the Unusual Effectiveness of Logic in Computer
                 Science",
  note =         "Submitted for publication to the {\em Bulletin of
                 Symbolic Logic}",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/unreasonable/basl.ps",
  urlpdf =       "http://www.cs.cmu.edu/~rwh/papers/unreasonable/basl.pdf",
  keywords =     "misc",
}

@Article{Harper99jfp,
  author =       "Robert Harper",
  title =        "Functional Pearl: Proof-Directed Debugging",
  journal =      "Journal of Functional Programming",
  year =         "1999",
  volume =       "9",
  number =       "4",
  month =        jul,
  pages =        "463--469",
  urlabstract =  "http://www.cs.cmu.edu/~rwh/papers/regexp/abstract/index.htm",
  urlps =        "http://www.cs.cmu.edu/~rwh/papers/regexp/jfp.ps",
  urldvi =       "http://www.cs.cmu.edu/~rwh/papers/regexp/jfp.dvi",
  keywords =     "misc",
}

@InProceedings{Blelloch99pldi,
  author =       "Guy E. Blelloch and Perry Cheng",
  title =        "On Bounding Time and Space for Multiprocessor Garbage
                 Collection",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1999",
  publisher =    "ACM Press",
  address =      "Atlanta, Georgia",
  month =        may,
  pages =        "104--117",
  urlabstract =  "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/pldi99.html",
  urlps =        "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/pldi99.ps.gz",
  urlpdf =       "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/pldi99.pdf",
  keywords =     "misc",
}

@InProceedings{Oaplan98swat,
  author =       "Haim Kaplan and Chris Okasaki and Robert E. Tarjan",
  title =        "Simple Confluently Persistent Catenable Lists
                 (Extended Abstract)",
  booktitle =    "Proceedings of the Scandinavian Workshop on Algorithm
                 Theory",
  year =         "1998",
  publisher =    "Springer-Verlag LNCS 1432",
  address =      "Stockholm, Sweden",
  month =        jul,
  pages =        "119--130",
  urlps =        "http://www.cs.columbia.edu/~cdo/swat98.ps.gz",
  keywords =     "misc",
}

@Article{Okasaki98jfp,
  author =       "Chris Okasaki",
  title =        "Even Higher-Order Functions for Parsing or Why Would
                 Anyone Ever Want To Use a Sixth-Order Function?",
  journal =      "Journal of Functional Programming",
  year =         "1998",
  volume =       "8",
  number =       "2",
  month =        mar,
  pages =        "195--199",
  urlps =        "http://www.cs.columbia.edu/~cdo/sixth.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/sixth.dvi",
  keywords =     "misc",
}

@TechReport{Harper98tr107,
  author =       "Robert Harper and Peter Lee and Frank Pfenning",
  title =        "The {Fox} Project: Advanced Language Technology for
                 Extensible Systems",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1998",
  number =       "CMU-CS-98-107",
  month =        jan,
  urlabstract =  "http://reports-archive.adm.cs.cmu.edu/anon/1998/abstracts/98-107.html",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1998/CMU-CS-98-107.ps",
  keywords =     "misc",
}

@Article{Okasaki97jfp,
  author =       "Chris Okasaki",
  title =        "Three Algorithms on Braun Trees",
  journal =      "Journal of Functional Programming",
  year =         "1997",
  volume =       "7",
  number =       "6",
  month =        nov,
  pages =        "661--666",
  urlps =        "http://www.cs.columbia.edu/~cdo/jfp97.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/jfp97.dvi",
  keywords =     "misc",
}

@InProceedings{Okasaki97icfp,
  author =       "Chris Okasaki",
  title =        "Catenable Double-Ended Queues",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1997",
  publisher =    "ACM Press",
  address =      "Amsterdam, the Netherlands",
  month =        jun,
  pages =        "66--74",
  urlps =        "http://www.cs.columbia.edu/~cdo/icfp97.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/icfp97.dvi",
  keywords =     "misc",
}

@PhdThesis{Greiner97phd,
  author =       "John Greiner",
  title =        "Semantics-based Parallel Cost Models and their Use in
                 Provably Efficient Implementations",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1997",
  month =        apr,
  note =         "Available as Technical Report CMU-CS-97-113",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jdg-thesis.ps",
  keywords =     "misc",
}

@Article{Brodal96jfp,
  author =       "Gerth St{\o}lting Brodal and Chris Okasaki",
  title =        "Optimal Purely Functional Priority Queues",
  journal =      "Journal of Funtional Programming",
  year =         "1996",
  volume =       "6",
  number =       "6",
  month =        nov,
  pages =        "839--857",
  urlps =        "http://www.cs.columbia.edu/~cdo/priority.ps",
  urldiv =       "http://www.cs.columbia.edu/~cdo/priority.dvi",
  keywords =     "misc",
}

@PhdThesis{Okasaki96phd,
  author =       "Chris Okasaki",
  title =        "Purely Functional Data Structures",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        sep,
  note =         "Available as Technical Report CMU-CS-96-177",
  urlps =        "http://foxnet.cs.cmu.edu/papers/cokasaki-thesis.ps",
  keywords =     "misc",
}

@InProceedings{Okasaki96ssafp,
  author =       "Chris Okasaki",
  title =        "Functional Data Structures",
  booktitle =    "Proceedings of the International Summer School on
                 Advanced Functional Programming Techniques",
  year =         "1996",
  publisher =    "Springer-Verlag LNCS 1129",
  month =        aug,
  pages =        "131--158",
  urlps =        "http://www.cs.columbia.edu/~cdo/ssafp96.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/ssafp96.dvi",
  keywords =     "misc",
}

@PhdThesis{Colby96phd,
  author =       "Christopher Colby",
  title =        "Semantics-based Program Analysis via Symbolic
                 Composition of Transfer Relations",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        aug,
  note =         "Available as Technical Report CMU-CS-96-162",
  urlps =        "http://foxnet.cs.cmu.edu/papers/acid-thesis.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/acid-thesis.abstract",
  keywords =     "misc",
}

@InProceedings{Okasaki96icfp,
  author =       "Chris Okasaki",
  title =        "The Role of Lazy Evaluation in Amortized Data
                 Structures",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming",
  year =         "1996",
  publisher =    "ACM Press",
  address =      "Philadelphia, Pennsylvania",
  month =        may,
  pages =        "62--72",
  urlps =        "http://www.cs.columbia.edu/~cdo/icfp96.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/icfp96.dvi",
  keywords =     "misc",
}

@PhdThesis{Filinski96phd,
  author =       "Andrzej Filinski",
  title =        "Controlling Effects",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1996",
  month =        may,
  note =         "Available as Technical Report CMU-CS-96-119",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1996/CMU-CS-96-119.ps",
  keywords =     "misc",
}

@InProceedings{Colby96popl,
  author =       "Christopher Colby and Peter Lee",
  title =        "Trace-Based Program Analysis",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1996",
  publisher =    "ACM Press",
  address =      "St. Petersburg Beach, Florida",
  month =        jan,
  pages =        "195--207",
  urlps =        "http://www.math.luc.edu/~colby/research/papers/popl96.ps",
  keywords =     "misc",
}

@InProceedings{Okasaki95focs,
  author =       "Chris Okasaki",
  title =        "Amortization, Lazy Evaluation, and Persistence: Lists
                 with Catenation via Lazy Linking",
  booktitle =    "Proceedings of the Symposium on Foundations of
                 Computer Science",
  year =         "1995",
  organization = "IEEE",
  address =      "Milwaukee, Wisconsin",
  month =        oct,
  pages =        "646--654",
  urlps =        "http://www.cs.columbia.edu/~cdo/catenation.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/catenation.dvi",
  keywords =     "misc",
}

@Article{Okasaki95jfp,
  author =       "Chris Okasaki",
  title =        "Simple and Efficient Purely Functional Queues and
                 Deques",
  journal =      "Journal of Functional Programming",
  year =         "1995",
  volume =       "5",
  number =       "4",
  month =        oct,
  pages =        "583--592",
  urlps =        "http://www.cs.columbia.edu/~cdo/jfp95.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/jfp95.dvi",
  keywords =     "misc",
}

@Article{Diwan95tocs,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory-System Performance of Programs with Intensive
                 Heap Allocation",
  journal =      "ACM Transactions on Computer Systems",
  year =         "1995",
  volume =       "13",
  number =       "3",
  month =        aug,
  pages =        "244--273",
  annote =       "Also available as~\cite{Diwan93tr227}",
  urlps =        "http://foxnet.cs.cmu.edu/afs/cs/project/fox-1/dtarditi/dist/tocs.ps",
  keywords =     "misc",
}

@TechReport{Colby95tr179,
  author =       "Christopher Colby and Peter Lee",
  title =        "Trace-Based Program Analysis",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-179",
  month =        jul,
  urlps =        "http://foxnet.cs.cmu.edu/papers/trace.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/trace.abstract",
  keywords =     "misc",
}

@TechReport{Lillibridge95tr178,
  author =       "Mark Lillibridge",
  title =        "Exceptions Are Strictly More Powerful Than Call/{CC}",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-95-178",
  month =        jul,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1995/CMU-CS-95-178.ps",
  keywords =     "misc",
}

@InProceedings{Okasaki95fpca,
  author =       "Chris Okasaki",
  title =        "Purely Functional Random-Access Lists",
  booktitle =    "Proceedings of the International Conference on
                 Functional Programming Languages and Computer
                 Architecture",
  year =         "1995",
  publisher =    "ACM Press",
  address =      "La Jolla, California",
  month =        jun,
  pages =        "86--95",
  urlps =        "http://www.cs.columbia.edu/~cdo/fpca95.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/fpca95.dvi",
  keywords =     "misc",
}

@TechReport{Tarditi94tr201,
  author =       "David Tarditi and Amer Diwan",
  title =        "Measuring the Cost of Storage Management",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1995",
  number =       "CMU-CS-94-201",
  month =        may,
  urlps =        "http://foxnet.cs.cmu.edu/papers/dtarditi-storage.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/dtarditi-storage.abstract",
  keywords =     "misc",
}

@Article{Tarditi94lsc,
  author =       "David Tarditi and Amer Diwan",
  title =        "Measuring the Cost of Storage Management",
  journal =      "Lisp and Symbolic Computation",
  year =         "1996",
  volume =       "9",
  number =       "4",
  pages =        "323--342",
  month =        dec,
  annote =       "Also available as~\cite{Tarditi94tr201}",
  urlps =        "ftp://ftp.cs.umass.edu/pub/osl/papers/lsc94.ps.Z",
  keywords =     "misc",
}

@TechReport{Heintze94tr227,
  author =       "Nevin Heintze",
  title =        "Control-Flow Analysis and Type Systems",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-227",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1994/CMU-CS-94-227.ps",
  keywords =     "misc",
}

@InProceedings{Heintze94lfp,
  author =       "Nevin Heintze",
  title =        "Set-Based Analysis of {ML} Programs (Extended
                 Abstract)",
  booktitle =    "Proceedings of the {ACM} Conference on {LISP} and
                 Functional Programming",
  publisher =    "ACM Press",
  year =         "1994",
  month =        jun,
  address =      "Orlando, Florida",
  pages =        "306--317",
  urlps =        "http://www.cs.cmu.edu/afs/cs/user/nch/ftp/sba-ml.ps.Z",
  keywords =     "misc",
}

@InProceedings{Diwan94popl,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory Subsystem Performance of Programs using Copying
                 Garbage Collection",
  booktitle =    "Proceedings of the Symposium on Principles of
                 Programming Languages",
  year =         "1994",
  publisher =    "ACM Press",
  address =      "Portland, Oregon",
  month =        jan,
  pages =        "1--14",
  annote =       "Also available as~\cite{Diwan93tr210}",
  urlps =        "ftp://ftp.cs.umass.edu/pub/osl/papers/popl94.ps.Z",
  keywords =     "misc",
}

@Article{Okasaki94lasc,
  author =       "Chris Okasaki and Peter Lee and David Tarditi",
  title =        "Call-by-need and Continuation-passing Style",
  journal =      "Lisp and Symbolic Computationj",
  year =         "1994",
  volume =       "7",
  number =       "1",
  month =        jan,
  pages =        "57--82",
  urlps =        "http://foxnet.cs.cmu.edu/papers/petel-lazy-p.ps",
  urldvi =       "http://www.cs.columbia.edu/~cdo/lazy-cps.dvi",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/petel-lazy-p.abstract",
  keywords =     "misc",
}

@TechReport{Harper94tr104,
  author =       "Robert Harper and Peter Lee",
  title =        "Advanced Languages for Systems Software: The {Fox}
                 Project in 1994",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1994",
  number =       "CMU-CS-94-104",
  month =        jan,
  urlps =        "http://foxnet.cs.cmu.edu/papers/renewal.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/renewal.abstract",
  keywords =     "misc",
}

@InProceedings{OToole93sosp,
  author =       "James O'Toole and Scott Nettles and David Gifford",
  title =        "Concurrent Compacting Garbage Collection of a
                 Persistent Heap",
  booktitle =    "Proceedings of the {ACM} Symposium on Operating
                 Systems Principles",
  year =         "1993",
  address =      "Asheville, North Carolina",
  month =        dec,
  pages =        "161--174",
  annote =       "Also available as~\cite{Nettles93tr137}",
  keywords =     "misc",
}

@TechReport{Diwan93tr227,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory Subsystem Performance of Programs with
                 Intensive Heap Allocation",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-227",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-227.ps",
  keywords =     "misc",
}

@TechReport{Heintze93tr221,
  author =       "Nevin Heintze",
  title =        "Set Based Analysis of Arithmetic",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-221",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-221.ps",
  keywords =     "misc",
}

@TechReport{Diwan93tr210,
  author =       "Amer Diwan and David Tarditi and Eliot Moss",
  title =        "Memory Subsystem Performance of Programs Using Copying
                 Garbage Collection",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-210",
  month =        dec,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-210.ps",
  keywords =     "misc",
}

@TechReport{Morrisett93tr171,
  author =       "Greg Morrisett and Maurice Herlihy",
  title =        "Optimistic Parallelization",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-171",
  month =        oct,
  urlps =        "http://foxnet.cs.cmu.edu/papers/CMU-CS-93-171.ps",
  keywords =     "misc",
}

@TechReport{Greiner93tr160R,
  author =       "John Greiner",
  title =        "{Standard ML} Weak Polymorphism Can Be Sound",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-160R",
  month =        sep,
  annote =       "Supersedes~\cite{Greiner93tr160}",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jdg-weaktype-tr2.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jdg-weaktype-tr2.abstract",
  keywords =     "misc",
}

@InProceedings{Tarditi93workshop,
  author =       "David Tarditi and Amer Diwan",
  title =        "The Full Cost of a Generational Copying Garbage
                 Collection Implementation",
  booktitle =    "Informal Proceedings of the {OOPSLA} Workshop on
                 Memory Management and Garbage Collection",
  editor =       "Eliot Moss and Paul Wilson and Ben Zorn",
  year =         "1993",
  month =        sep,
  address =      "Washington, USA",
  urlps =        "ftp://ftp.cs.utexas.edu/pub/garbage/GC93/tarditi.ps",
  keywords =     "misc",
}

@TechReport{Heintze93tr193,
  author =       "Nevin Heintze",
  title =        "Set Based Analysis of {ML} Programs (Extended
                 Abstract)",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-193",
  month =        jul,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-193.ps",
  keywords =     "misc",
}

@InProceedings{Nettles93pldi,
  author =       "Scott Nettles and James O'Toole",
  title =        "Real-Time Replication Garbage Collection",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  year =         "1993",
  publisher =    "ACM Press",
  address =      "Albuquerque, New Mexico",
  month =        jun,
  pages =        "217--226",
  urlps =        "http://www.cis.upenn.edu/~nettles/papers/pldi93.ps",
  keywords =     "misc",
}

@InProceedings{Morrisett93sipl,
  author =       "J. Gregory Morrisett",
  title =        "Refining First-Class Stores",
  editor =       "Paul Hudak",
  booktitle =    "Proceedings of the {ACM} {SIGPLAN} Workshop on State
                 in Programming Languages",
  year =         "1993",
  address =      "Copenhagen, Denmark",
  month =        jun,
  pages =        "73--87",
  note =         "Proceedings published as Yale Technical Report
                 YALE/DCS/tr968",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-callcs.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-callcs.abstract",
  keywords =     "misc",
}

@InProceedings{Morrisett93ppopp,
  author =       "J. Gregory Morrisett and Andrew Tolmach",
  title =        "Procs and Locks: {A} Portable Multiprocessing
                 Interface for {S}tandard {ML} of {N}ew {J}ersey",
  booktitle =    "Proceedings of the Symposium on Principles and
                 Practice of Parallel Programming",
  year =         "1993",
  publisher =    "ACM Press",
  address =      "San Diego, California",
  month =        may,
  pages =        "198--207",
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-ppopp.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-mp.abstract",
  keywords =     "misc",
}

@TechReport{Greiner93tr160,
  author =       "John Greiner",
  title =        "{Standard ML} Weak Polymorphism Can Be Sound",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-160",
  month =        may,
  annote =       "Superseded by~\cite{Greiner93tr160R}",
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-160.ps",
  keywords =     "misc",
}

@TechReport{Nettles93tr137,
  author =       "Scott Nettles and James O'Toole and David Gifford",
  title =        "Concurrent Garbage Collection of Persistent Heaps",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-137",
  month =        apr,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-137.ps",
  keywords =     "misc",
}

@TechReport{Nettles93tr135,
  author =       "Scott Nettles and James O'Toole and David Pierce and
                 Nicholas Haines",
  title =        "Replication-Based Incremental Copying Collection",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1993",
  number =       "CMU-CS-93-135",
  month =        apr,
  urlps =        "http://reports-archive.adm.cs.cmu.edu/anon/1993/CMU-CS-93-135.ps",
  keywords =     "misc",
}

@InProceedings{Heintze92jicslp,
  author =       "Nevin Heintze",
  title =        "Practical Aspects of Set-Based Analysis",
  booktitle =    "Proceedings of the Joint International Conference and
                 Symposium on Logic Programming",
  editor =       "Krzysztof R. Apt",
  year =         "1992",
  publisher =    "MIT Press",
  address =      "Washington, DC",
  month =        nov,
  pages =        "765--779",
  urlps =        "http://www.cs.cmu.edu/afs/cs/user/nch/ftp/implementation.ps.Z",
  keywords =     "misc",
}

@PhdThesis{Heintze92phd,
  author =       "Nevin Heintze",
  title =        "Set Based Program Analysis",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  note =         "Available as Technical Report CMU-CS-92-201",
  urlps =        "http://foxnet.cs.cmu.edu/papers/CMU-CS-92-201.ps.gz",
  keywords =     "misc",
}

@InProceedings{Nettles92iwmm,
  author =       "Scott M. Nettles and James W. O'Toole and David Pierce
                 and Nicholas Haines",
  title =        "Replication-Based Incremental Copying Collection",
  booktitle =    "Proceedings of the International Workshop on Memory
                 Management",
  editor =       "J. Cohen and Y. Bekkers",
  year =         "1992",
  publisher =    "Springer-Verlag LNCS 637",
  address =      "St. Malo, France",
  month =        sep,
  pages =        "357--364",
  annote =       "Also available as~\cite{Nettles93tr135}",
  keywords =     "misc",
}

@Article{Tarditi92loplas,
  author =       "David Tarditi and Peter Lee and Anurag Acharya",
  title =        "No Assembly Required: Compiling {ML} to {C}",
  journal =      "{ACM} Letters on Programming Languages and Systems",
  year =         "1992",
  volume =       "1",
  number =       "2",
  month =        jun,
  pages =        "161--177",
  urlps =        "http://foxnet.cs.cmu.edu/papers/petel-sml2c.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/petel-sml2c.abstract",
  keywords =     "misc",
}

@TechReport{Morrisett92tr155,
  author =       "J. Gregory Morrisett and Andrew Tolmach",
  title =        "A Portable Multiprocessor Interface for {S}tandard
                 {ML} of {N}ew {J}ersey",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  number =       "CMU-CS-92-155",
  month =        jun,
  urlps =        "http://foxnet.cs.cmu.edu/papers/jgmorris-mp.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/jgmorris-mp.abstract",
  keywords =     "misc",
}

@PhdThesis{Michaylov92phd,
  author =       "Spiro Michaylov",
  title =        "Design and Implementation of Practical Constraint
                 Logic Programming Systems",
  school =       "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1992",
  month =        may,
  note =         "Available as Technical Report CMU-CS-92-168",
  keywords =     "misc",
}

@Article{Koopman92toplas,
  author =       "Philip J. {Koopman, Jr.} and Peter Lee and Daniel P.
                 Siewiorek",
  title =        "Cache Behavior of Combinator Graph Reduction",
  journal =      "Transactions on Programming Languages and Systems",
  year =         "1992",
  volume =       "14",
  number =       "2",
  month =        apr,
  pages =        "265--297",
  urlpdf =       "http://www.cs.cmu.edu/~koopman/tigre/toplas_92.pdf",
  keywords =     "misc",
}

@TechReport{Cooper91tr178,
  author =       "Eric Cooper and Robert Harper and Peter Lee",
  title =        "The {Fox} Project: Advanced Development of Systems
                 Software",
  institution =  "School of Computer Science, Carnegie Mellon
                 University",
  year =         "1991",
  number =       "CMU-CS-91-178",
  month =        aug,
  urlps =        "http://foxnet.cs.cmu.edu/papers/cooper-fox.ps",
  urlabstract =  "http://foxnet.cs.cmu.edu/papers/cooper-fox.abstract",
  keywords =     "misc",
}