Vietnamese Hệ thống kiểu Hindley–Milner Cited by user X3cafe on 27 Jun 2019 Hệ thống kiểu Hindley–Milner (HM) là một hệ thống kiểu cổ điển cho phép tính lambda với đa hình tham số (parametric polymorphism).
English Hindley–Milner type system Cited by user Rjwilmsi on 05 May 2014 In type theory and functional programming, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type system for the lambda calculus…