Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Unification

Name: Anonymous 2013-06-22 18:26

I'm reading a Haskell tutorial:
http://www.cs.cornell.edu/courses/cs3110/2011sp/lectures/lec26-type-inference/type-inference.htm

where is the proof that unification always exists?

Name: Anonymous 2013-06-22 19:07

>>6
I've not read TAPL
why are you even here? go study

Newer Posts