Mono- vs. polymorphic let
In the lecture, we covered type inference for generic polymorphism in a typed calculus with higher-order functions, including recursive functions and let-bin...
The page collects some posts in connection with the lecture Static Analysis (IN5440). I am planning for information about the material and content of the lecture. Important messages (for instance concerning organizational issues) will not appear here, but as “beskjeder” on the official IFI page (and email). The posts are NOT pensum. For example, in an oral exam, there won’t be questions specifically targeting information posted (only) here. The intention is to shed additional light on the material covered in the lecture, with the hope of being useful.
Links
| official webpage | semester page |
Posts
Type inference (Algos W and J …)
Some remarks about variations on the theme