Changes between Version 25 and Version 26 of Status/April07

Timestamp:

05/01/07 00:51:55 (6 years ago)

Author:

simonpj

Comment:

--

Status/April07

@@ -51 +51 @@
    System FC(X), an extension of System F with explicit equality
    witnesses.  This enables GHC to support GADTs and associated types,
-   with two new simple but powerful mechanisms. The paper is at
-   http://research.microsoft.com/~simonpj/papers/ext-f/.
+   with two new simple but powerful mechanisms. The paper is 
+   [http://research.microsoft.com/~simonpj/papers/ext-f/ System F with Type Equality Coercions].
    Much of the conversion work was done by Kevin Donnelly, while he
    was on an internship at Microsoft.
@@ -59 +59 @@
    a modest generalisation of the ''associated data types''
    of our POPL'05 paper
-   http://research.microsoft.com/~simonpj/papers/assoc-types/.
+   [http://research.microsoft.com/~simonpj/papers/assoc-types/ Associated types with class].
    [[BR]][[BR]]
    This part is done. Now we are working on ''type-synonym families''
-   (aka type functions), which are considerably trickier that
-   indexed data types, at least so far as type inference is concerned.
+   (aka type functions or [http://research.microsoft.com/~simonpj/papers/assoc-types associated type synonyms (ICFP'05)]), which are considerably trickier that
+   data type families, at least so far as type inference is concerned.
    Tom Schrijvers is in Cambridge for three months to help us use ides
    from Constraint Handling Rules to solve the inference problem.