Hindley–Milner (Q200996)
Jump to navigation
Jump to search
type system supporting type inference
- Damas–Milner
- Damas–Hindley–Milner
- HM
- DHM
Language | Label | Description | Also known as |
---|---|---|---|
English | Hindley–Milner |
type system supporting type inference |
|
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- dewiki Typinferenz nach Hindley-Milner
- enwiki Hindley–Milner type system
- ruwiki Система типов Хиндли — Милнера
- viwiki Hệ thống kiểu Hindley–Milner