книги Наука, техника, медицина Гуманитарные науки Философия Прикладная философия

Hindley–Milner

Код 3468689

  • ISBN: 978-5-5093-1257-1

Нет в продаже

Аннотация к книге "Hindley–Milner"

High Quality Content by WIKIPEDIA articles! In type theory, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type inference method with parametric polymorphism for the lambda calculus, first described by J. Roger Hindley and later rediscovered by Robin Milner. Luis Damas contributed a close formal analysis and proof of the method in his PhD thesis.

Оставить комментарий

Оцените книгу:

ISBN: 978-5-5093-1257-1

Книга находится в категориях

Машиностроение

Вместе с этой книгой покупают

Просмотренные товары