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