13 Mar
2009
13 Mar
'09
9:36 p.m.
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? :-)