Copyright © Philip M. Parker, INSEAD. Terms of Use.
| Domain | Definition |
Computing | Polymorphic lambda-calculus (Or "second order typed lambda-calculus"). An extension of typed lambda-calculus allowing functions which take types as parameters. E.g. the polymorphic function "twice" may be written: twice = /\ t . \ (f :: t -> t) . \ (x :: t) . f (f x) (where "/\" is an upper case Greek lambda and "(v :: T)" is usually written as v with subscript T). The parameter t will be bound to the type to which twice is applied, e.g.: twice Int takes and returns a function of type Int -> Int. (Actual type arguments are often written in square brackets [ ]). Function twice itself has a higher type: twice :: Delta t . (t -> t) -> (t -> t) (where Delta is an upper case Greek delta). Thus /\ introduces an object which is a function of a type and Delta introduces a type which is a function of a type. Polymorphic lambda-calculus was invented by Jean-Yves Girard in 1971 and independently by John C. Reynolds in 1974. (1994-12-16). Source: The Free On-line Dictionary of Computing. |
Source: compiled by the editor from various references; see credits. | |
Crosswords: POLYMORPHIC LAMBDA-CALCULUS |
| Specialty definitions using "POLYMORPHIC LAMBDA-CALCULUS": System F. (references) |
Hexadecimal (or equivalents, 770AD-1900s) (references)50 4F 4C 59 4D 4F 52 50 48 49 43 4C 41 4D 42 44 41 2D 43 41 4C 43 55 4C 55 53 |
| Leonardo da Vinci (1452-1519; backwards) (references)
|
Binary Code (1918-1938, probably earlier) (references)01010000 01001111 01001100 01011001 01001101 01001111 01010010 01010000 01001000 01001001 01000011 00100000 01001100 01000001 01001101 01000010 01000100 01000001 00101101 01000011 01000001 01001100 01000011 01010101 01001100 01010101 01010011 |
HTML Code (1990) (references)P O L Y M O R P H I C   L A M B D A - C A L C U L U S |
ISO 10646 (1991-1993) (references)0050 004F 004C 0059 004D 004F 0052 0050 0048 0049 0043 004C 0041 004D 0042 0044 0041 002D 0043 0041 004C 0043 0055 004C 0055 0053 |
Encryption (beginner's substitution cypher): (references)50494659474952504243372463547363835153735463755465553 |
| 1. Crosswords 2. Orthography 3. Bibliography |
Copyright © Philip M. Parker, INSEAD. Terms of Use.
