VDict - Definition of Hindley-Milner types

search result for Hindley-Milner types in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

typed lambda-calculus polymorphism generic type variable Ponder MIME type Zuse derived type Ada 95 type inference file type enumerated type tagged types Multipop-68 type RTL/2 Quest Pebble Zed LOOPN algebraic data type C-BC union Amber Library of Efficient Data types and Algorithms tuple Standard ML Object Management Group Calculus of Communicating Systems weak typing Categorical Abstract Machine Language Persistent Functional Language ALGOL 60 Objective CAML linear type nslookup EQLOG LEDA Fun WPOP temporal logic abstract interpretation Miranda ML Glasgow Haskell Compiler Super Pascal genericity com .NET framework powerdomain failure-directed testing Oberon BiCapitalisation RFC 2048 type assignment Common Lisp quad Second-Order Lambda-calculus General Purpose Language type class ASpecT Emerald formal review vaxocentrism constructed type Pascal-FC Scratchpad I GNU assembler System F printer D-type electron tube struct specialisation net Russell Mask Read-Only Memory Alpha Geek data abstraction LISP 2 best effort

First < Previous 1 2 3 Next > Last