This directory contains a collection of papers related to the design,
implementation and use of SML/NJ.  The general naming scheme is

    <yy>-<tag>-<name>.ps

where <yy> is the year of publication, <tag> signifies the place of
publication (the tag "note" means unpublished, and the tag "tr" means a
technical report), and the <name> is the first author's name.

--------------------------------------------------------------------------------


85-note-baudinet.ps
	Marianne Baudinet and David MacQueen.  ``Tree Pattern Matching for ML,''
	unpublished paper, December 1985.

90-tr-reppy.ps
	John H. Reppy.  ``Asynchronous Signals in Standard ML,'' Department of
	Computer Science, Cornell University, Technical Report TR 90-1144,
	August 1990.

91-plip-appel.ps
	Andrew W. Appel and David B. MacQueen.  ``Standard ML of New Jersey,''
	3rd International Symposium on Programming Language Implementation
	and Logic Programming, LNCS 528, August 1991, pp. 1-13.

92-thesis-reppy.ps
	John H. Reppy.  ``Higher-order Concurrency,'' PhD Thesis, Department
	of Computer Science, Cornell University, January 1992.
	[This is the technical report version: TR 92-1285, June 1992.]

92-tr-aitken.ps
	William E. Aitken and John H. Reppy.  ``Abstract Value Constructors:
	Symbolic Constants for Standard ML,'' Department of Computer Science,
	Cornell University, Technical Report TR 92-1290, June 1992.

92-lncs-macqueen.ps
	David B. MacQueen.  ``Reflections on Standard ML,'' Functional
	Programming, Concurrency, Simulation and Automated Reasoning, LNCS 693,
	1992, pp. 32-46.

92-lncs-reppy.ps
	John H. Reppy.  ``Concurrent ML: Design, Application and Semantics,''
	Programming, Concurrency, Simulation and Automated Reasoning, LNCS 693,
	1992, pp. 165-198.

93-trends-gansner.ps
	Emden R. Gansner and John H. Reppy.  ``A Multithreaded Higher-order
	User Interface Toolkit,'' User Interface Software, Volume 1 of Software
	Trends, John Wiley & Sons, 1993, pp. 61-80.

93-tr-efremidis.ps
	Sofoklis G. Efremidis, Khalid A. Mughal and John H. Reppy.  ``AML:
	Attribute Grammars in ML,'' Department of Computer Science, Cornell
	University, Technical Report TR 93-1401, December 1993.
	[Also Reports in Informatics #89, University of Bergen]

93-tr-reppy.ps
	John H. Reppy.  ``A High-performance Garbage Collector for Standard
	ML,'' AT&T Bell Laboratories, Technical Memo, December 1993.

94-cc-george.ps
	Lal George, Florent Guillame, and John H. Reppy.  ``A Portable and
	Optimizing Back End for the SML/NJ Compiler,'' 5th International
	Conference on Compiler COnstruction, April 1994, pp. 83-97.

94-esop-macqueen.ps
	David B. MacQueen and Mads Tofte.  ``A Semantics for Higher-order
	Functors,'' 5th European Symposium on Programming, LNCS 788, April
	1994, pp. 409-423.

94-sas-yi.ps
	Kwangkeun Yi. ``Compile-time Detection of Uncaught Exceptions in
	Standard ML Programs,'' 1st International Static Analysis Sympoisum,
	LNCS 864, September, 1994, pp. 238-254.

94-tppp-reppy.ps
	John H. Reppy.  ``First-class Synchronous Operations,'' Workshop on
	Theory and Practice of Parallel Programming, Sendai, Japan, November
	1994.  (The proceedings will be an LNCS volume).

95-tutorial-reppy.ps
	The slides from a tutorial on CML given by John Reppy at CONCUR'95,
	August 1995.

96-pldi-abstract-reppy.html
	John H. Reppy and Jon G. Riecke.  ``Simple objects for Standard ML,''
	ACM SIGPLAN'96 Conference on Programming Language Design and
	Implementation.  Abstract only (in HTML format).