Thực đơn
Suy_luận_kiểuThực đơn
Suy_luận_kiểuLiên quan
Suy luận thống kê Suy luận Bayes Suy luận quy nạp Suy luận Suy luận loại suy Suy luận diễn dịch Suy luận kiểu Suy luận logic Suy luận dựa theo trường hợp Suy luận về lỗi tấn côngTài liệu tham khảo
WikiPedia: Suy_luận_kiểu http://www.codecommit.com/blog/scala/what-is-hindl... http://www.brics.dk/~mis/typeinf.pdf http://www.cis.upenn.edu/~bcpierce/types/archives/... http://lucacardelli.name/Papers/BasicTypechecking.... http://dysphoria.net/2009/06/28/hindley-milner-typ... https://web.archive.org/web/20070218103011/http://... https://web.archive.org/web/20110410102617/http://...