j
k
j a
j l
2009/5/24 Petr Pudlak : If all Haskell had would be HM, it would be System F.
That cannot be quite right, can it? System F has more powerful polymorphism than HM. Ciao, Janis.
Back to the thread
Back to the list
