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

[David Overton]

On Fri, Aug 31, 2001 at 04:13:16PM +1000, David Jeffery wrote:
> 
> For anyone to review.

Looks fine to me.  Congratulations!  (I can't wait to get one of those
green balloons from the School of Graduate Studies :)


David

> 
> 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
> --------------------------------------------------------------------------

-- 
David Overton      Department of Computer Science & Software Engineering
PhD Student        The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159    http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------