[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

[Henning Thielemann]

On Tue, 10 Mar 2009, Conor McBride wrote:

> Apologies for crossposting. Please forward this message
> to individuals or lists who may be interested. In addition
> to the recently advertised PhD position at Strathclyde on
> "Reusability and Dependent Types", I am delighted to
> advertise the following PhD opportunity.
>
> {---------------------------------------------------------
> -- Haskell Types with Numeric Constraints ----------------
> ---------------------------------------------------------}

Sounds like it could simplify
   http://hackage.haskell.org/cgi-bin/hackage-scripts/package/dimensional/
  a lot. However, isn't this halfheartedly since we all wait for full 
dependent types? :-)