[Haskell-cafe] Microsoft PhD Scholarship at Strathclyde

Henning Thielemann lemming at henning-thielemann.de
Fri Mar 13 21:36:23 EDT 2009

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
  a lot. However, isn't this halfheartedly since we all wait for full 
dependent types? :-)

More information about the Haskell-Cafe mailing list