Lambda the Ultimate

inactiveTopic Typetool
started 6/25/2003; 5:21:14 PM - last post 6/25/2003; 5:21:14 PM

andrew cooke - Typetool blueArrow
6/25/2003; 5:21:14 PM (reads: 1054, responses: 0)

Typetool

I did a Web application for the visualization of the type inference process for the Simple Type System and pure ML.

-- Hugo Simoes on c.l.f
Posted to teaching/learning by andrew cooke on 6/25/03; 5:22:21 PM