Zde můžete vidět rozdíly mezi vybranou verzí a aktuální verzí dané stránky.
|
fp:project [2013/01/11 21:38] petr |
fp:project [2013/01/20 01:56] (aktuální) petr |
||
|---|---|---|---|
| Řádek 43: | Řádek 43: | ||
| should yield "3628800" as the result. | should yield "3628800" as the result. | ||
| + | ---- | ||
| + | |||
| + | Materials: | ||
| + | |||
| + | - Wikipedia article: https://en.wikipedia.org/wiki/Hindley-Milner | ||
| + | - Cardelli: Basic Polymorphic Typechecking, 1987 (avaliable online, just google) | ||
| + | - Oleg Kiselyov and Chung-chieh Shan: [[http://okmij.org/ftp/Haskell/AlgorithmsH.html#teval|Interpreting types as abstract values: a tutorial on Hindley-Milner type inference]]. | ||