| Subject: | Re: [Haskell-cafe] haskell-src type inference algorithm? |
|---|---|
| From: | Stephen Tetley |
| Date: | Thu, 11 Feb 2010 17:41:01 +0000 |
http://web.cecs.pdx.edu/~mpj/thih/ Looks like its a type _checker_ though... On 11 February 2010 17:39, Stephen Tetley <stephen.tetley@xxxxxxxxx> wrote: > Hello Job > > For Haskell 98 would the code from 'Typing Haskell in Haskell' paper suffice? > > A web search should find the code... > > Best wishes > > Stephen > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@xxxxxxxxxxx http://www.haskell.org/mailman/listinfo/haskell-cafe |
| <Prev in Thread] | Current Thread | [Next in Thread> |
|---|---|---|
| ||
| Previous by Date: | Re: [Haskell-cafe] haskell-src type inference algorithm?, Stephen Tetley |
|---|---|
| Next by Date: | Re: [Haskell-cafe] Haskell and the Job Market, e.g. with Google, Gwern Branwen |
| Previous by Thread: | Re: [Haskell-cafe] haskell-src type inference algorithm?, Stephen Tetley |
| Next by Thread: | Re: [Haskell-cafe] haskell-src type inference algorithm?, Lennart Augustsson |
| Indexes: | [Date] [Thread] [Top] [All Lists] |