The greatest AI philosophers:
-
-
Ah yes the Hindley-Milner system; someone has to take up the type inference-as-Brandomian commitment angle vs type-checking as normative scenario decidables. But I dont know enough about Milner aside from I should read more
-
Milner, Petri, Japaridze, Dijkstra should be your staring point.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

and lets just say I try my best to know my domains of inquiry 

...