for review: add type class paper to web page

[David Glen JEFFERY]

Hi,

Could you please check this out, Tyse?

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

Estimated hours taken: 0.5

w3/information/include/papers.inc:
	Add a link to the type classes paper.
w3/information/papers/mu_98_13.ps.gz:
	The paper.

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

cvs diff: Diffing .
cvs diff: Diffing bench
cvs diff: Diffing developers
cvs diff: Diffing include
Index: include/papers.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/papers.inc,v
retrieving revision 1.1.1.1
diff -u -t -r1.1.1.1 papers.inc
--- papers.inc	1998/09/01 02:41:10	1.1.1.1
+++ papers.inc	1998/09/30 06:34:02
@@ -17,6 +17,33 @@
 
 <li>
 <strong>
+Type classes in Mercury.
+</strong>
+<br>
+David Jeffery, Fergus Henderson and Zoltan Somogyi.
+<br>
+<em>
+Technical Report 98/13,
+</em>
+Department of Computer Science, University of Melbourne,
+Melbourne, Australia, July 1997, 22 pages.
+<a href = "papers/mu_98_13.ps.gz">
+Available here (82K).
+</a>
+<p>
+
+In this paper, we explain how we have extended Mercury's type system 
+to include support for type classes.
+We give a formal semantics for this extension to our type system,
+adapting the typing rules used in functional languages
+to the differing demands of logic programming languages.
+We show that type classes integrate very nicely
+with Mercury's mode, uniqueness and determinism systems,
+and describe how our implementation works.
+<p>
+
+<li>
+<strong>
 Termination analysis for Mercury.
 </strong>
 <br>
cvs diff: Diffing papers
cvs diff: papers/mu_98_13.ps.gz is a new entry, no comparison available
-----------------------------------------------------------------

dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.