WebHome
- Education Page?
- Description?
- Literature?
- Schedule?
- Assignments?

Center
Master Program
Web Home

Uhc
%TOC%

---+ Course setup

The basic purpose of this seminar is twofold: increase (your and our) understanding of UHC (typing related) implemention issues and work towards the realization of those issues. As such this seminar is a kind of followup of the course on Master.TypeSystems (TS) and a preparation for a possible masters thesis. The seminar will also be organised in a relatively loose manner with the following focus and structure

   * Understanding of issues.
      * By studying articles or UHC implementation 2x(2..4) hours per week. As an experiment I want to do this reading as a group where each participant reads or summarizes (aloud) a portion of an article or UHC material. The idea is that in that way no part of the covered material will escape understanding for any of us. The goal is to understand thoroughly instead of the (usual) partly.
      * By writing an explanation of a (small) part of the implementation of UHC. ...

   * Implementing a specific extension. The goal is to either make an extension work, as part of UHC, or if this is too complicated (which it will be the case for some topics) a detailed design, preferably with some form of prototype (not using the UHC). All will be wrapped up with a presentation in the end and a written report on the work done.

---+ People involved

Participants

   * Main.AlexeyRodriguez
      * Uhc.AlexeyRodriguez's work on UHC
   * Main.ArjanOosting
      * Uhc.ArjanOosting's work on UHC
   * Main.ErikKnoop
      * Uhc.ErikKnoop's work on UHC
   * Main.FaridahLiduan
      * Uhc.FaridahLiduan's work on UHC
   * Main.WouterSwierstra
      * Uhc.WouterSwierstra's work on UHC

Supervisors

   * Main.AndresLoh
   * Main.ArthurBaars
   * Main.AtzeDijkstra
   * Main.BastiaanHeeren
   * Main.DaanLeijen
   * Main.DoaitseSwierstra

---+ Schedule

For the schedule containing times and locations look [[http://www.cs.uu.nl/education/vak.php?vak=iuhc&jaar=2003 here]].

| *Week* | *Day* | *What* |
| 1/9  | fr | kick-off |
| 8/9  | tu | reading "A Static Semantics for Haskell", [[http://www.it.kth.se/~kff/publications.html][Karl Filip Faxén]], \
[[http://titles.cambridge.org/journals/journal_toc.asp?mnemonic=JFP&vol=12&issue=5][Journal of Functional Programming Vol 12, Issue 5.]], \
or through the home page of the author in [[http://www.it.kth.se/~kff/semantics.ps.gz][compressed postscript]]. |
|      | fr | - |
| 15/9 | tu | continuation of previous article; classes & instances |
|      | fr | continuation of previous article; patterns, expressions, bindings, modules |
| 22/9 | tu | reading Simon Peyton Jones and Mark Shields. \
"[[http://research.microsoft.com/Users/simonpj/papers/putting/][Practical type inference for arbitrary-rank types.]]" 2003. |
|      | fr | previous, plus: Gaster, Benedict R. and Jones, Mark P., '[[http://citeseer.nj.nec.com/gaster96polymorphic.html][A Polymorphic Type System for Extensible Records and Variants,]]' No. NOTTCS-TR-96-3, Nov 1996. |
| 29/9 | tu | 13:00-14:00: project discussion, after that previous article plus: Diatchki, Iavor S., Jones, Mark P. and Hallgren, Thomas, '[[http://www.cse.ogi.edu/~diatchki/hsmod/Description.pdf][A Formal Specification of the Haskell 98 Module System,]]' Haskell Workshop, 2002, pp. 17-29. |
|      | fr |reading: Mark Shields and Simon Peyton Jones. [[http://www.cse.ogi.edu/~mbs/pub/first_class_modules/][First-class Modules for Haskell]]. Ninth International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon, Dec 2001. |
| 6/10 | tu | - |
|      | fr | project discussion + mini-presentation of 'to-be-solved' example (aka 'use case'), plus continuation of previous article |
| 13/10 | tu | previous (modules) |
|       | fr | reading chapter 9 of: Rinus Plasmeijer and Marko van Eekelen. [[http://www.cs.kun.nl/~clean/contents/body_contents.html][The Concurrent Clean Language Report (draft version 2.0)]], 2001. Department of Software Technology, University of Nijmegen. |
| 20/10 | tu | Ralf Hinze and Simon Peyton Jones. [[http://www.informatik.uni-bonn.de/~ralf/publications/Derive.ps.gz][Derivable Type Classes]]. Haskell Workshop, 2000. (Also available in as a [[http://research.microsoft.com/~simonpj/Papers/derive.htm][preliminary version]].)|
|       | fr | project discussion (again, use examples) |
| 27/10 | tu | 13:00: derivable type classes (cont'd), 14:00: project discussion (cont'd), 15:00: uniqueness types (more formal article), E. Barendsen and J. Smetsers. [[http://citeseer.nj.nec.com/barendsen94uniqueness.html][Uniqueness Typing in Theory and Practice]], 1994. |
|       | fr | (?) project discussion |
| 4/11  | wed (10:00-13:00, in BBL 509)| presentations, 1: [[ArjanOosting][Arjan Oosting]], 2: AlexeyRodriguez, 3: WouterSwierstra |
|       | fr (9:00-11:00, in BBL 509)| presentations, 4: FaridahLiduan, 5: ErikKnoop |

---+ Individual assignments

A preliminary list of topics/extensions

| *Topic* | *Assigned to* | *Supervised by* |
| Code generation (for lvm) and/for uniqueness types \
| Main.WouterSwierstra | Main.DaanLeijen, Main.AtzeDijkstra |
| Helium quality error reporting \
| Main.FaridahLiduan | Main.BastiaanHeeren |
| Extendible records \
| Main.ErikKnoop | Main.ArthurBaars, Main.AtzeDijkstra |
| AG system in UHC \
| Main.AlexeyRodriguez | Main.ArthurBaars, Main.DoaitseSwierstra |
| Generics in UHC \
| Main.ArjanOosting | Main.AndresLoh |
| Module system \
|  |  |
| Ordering of attribute computation in AG system \
|  |  |
| Memoization, function caching in lvm \
|  |  |

A preliminary list of parts of UHC to be documented

| *Topic* | *Assigned to* |
| Subtyping of types as implemented by unification |  |
| Determination of location of quantifiers and predicates if not explicitly specified |  |
| Inferencing in the presence of (partially) explicit specified types |  |
|  |  |
|  |  |

---+ Deliverables

   * Proposal + prototype implementation + presentation of the assigned extension
   * Written documentation (using lhs2tex) on part of UHC
   * Attendance of meetings

---+ Literature

For now, see Master.TypeSystems