[Haskell-cafe] Function Types
bjpop at csse.unimelb.edu.au
Tue Oct 23 01:49:33 EDT 2007
I have implemented a reasonably simple language and interpreter
The language is essentially a very small subset of Haskell.
It was designed to show students how type checking works.
You can find it here: http://www.cs.mu.oz.au/~bjpop/code.html
On 23/10/2007, at 11:31 AM, PR Stanley wrote:
> What are the rules for calculating function types?
> Is there a set procedure ?
> Thanks, Paul
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe