job's archive

Here you can find all my previous posts:

2024

• To generalise or not to generalise your types? posted on January 11, 2024

  Let-polymorphism is an essential mechanism for the Hindley-Milner calculus, but do we want to apply let-polymorphism to all let bindings in an imperative language?