[m-rev.] for review: add my PhD thesis to the www site

David Jeffery dgj at cs.mu.OZ.AU
Fri Aug 31 16:13:16 AEST 2001


For anyone to review.

Yee ha!

Big thanks to all the Mercury crew for all your help.

===================================================================
Estimated hours taken: 0.1
	(that's time for changing the www page, not for writing
	the thesis. ;-)

Add my PhD thesis to the papers page on the www site.
I won't add a news item until it gets marked and I do 
corrections etc. 

information/include/papers.inc:
	Add a link to the thesis.
information/papers/dgj-thesis.ps.gz:
	The submitted version of my thesis.
===================================================================

Index: information/include/papers.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/papers.inc,v
retrieving revision 1.24
diff -u -t -r1.24 papers.inc
--- information/include/papers.inc	2001/08/03 04:14:16	1.24
+++ information/include/papers.inc	2001/08/31 06:05:02
@@ -16,6 +16,31 @@
 <ul>
 <li>
 <strong>
+Expressive type systems for logic programming languages
+</strong>
+<br>
+David Jeffery
+<br>
+<em>
+PhD thesis (submitted, yet to be marked)
+</em>
+Department of Computer Science, University of Melbourne,
+Melbourne, Australia, August 2001, 190 pages.
+<a href = "papers/dgj-thesis.ps.gz">
+Available here (360K).
+</a>
+<p>
+This thesis concerns the design and implementation of an expressive type
+system for a higher order logic programming language. The type system has
+been implemented in the Melbourne Mercury compiler. We formally describe
+the type system, which features type classes and existential types, and give
+details of its implementation.  We examine the ability of the programmer to
+express object oriented designs and interact with component technologies
+such as CORBA using this type system.
+<p>
+
+<li>
+<strong>
 Deep profiling:
 engineering a profiler for a declarative programming language
 </strong>

New File: information/papers/dgj-thesis.ps.gz
===================================================================
<not included in diff>


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If you want to build a ship, don't drum up 
PhD student,                    | people together to collect wood or assign 
Dept. of Comp. Sci. & Soft. Eng.| them tasks and work, but rather teach them 
The University of Melbourne     | to long for the endless immensity of the sea.
Australia                       | -- Antoine de Saint Exupery
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list