VDict - Definition of Hindley-Milner types

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

First < Previous 1 2 3 Next > Last

Pascal-S coupling Frequency Shift Keying FX-87 User Network Interface logical relation marshalling EQLog Group 3 Group 4 map Algebraic Specification Language Nuprl PROgrammed Graph REwriting Systems dusty deck search engine crayon MacBinary WOOL GRAF System Control Language aggregate type Internet Assigned Numbers Authority Cecil workflow generic programming Michigan Algorithm Decoder Data Terminal Equipment SQL Netrek font G overloading functor Ditto Drive expression Poly capability socket MDL decision support database principal type OBJ Ruby termcap E SETL flip-flop Ada fill-out form Gopher object type list Matrix Math eXtensions lclint Messaging Application Programming Interface Read-Only Memory clipboard Euclid zeroth g file strong typing ALGOL 68 Clean abstraction Data Communication Equipment Oaklisp Cedar Joint Photographic Experts Group SLANG Summary Object Interchange Format instantiation address channel ISO 9000 Uniform Resource Locator scan design restriction ICI record recursive type

First < Previous 1 2 3 Next > Last