|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
polymorphic lambda-calculus
System F
(Or "second order typed lambda-calculus",
"System F", "Lambda-2"). 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.
["Proofs and Types", J-Y. Girard, Cambridge U Press 1989].
(2005-03-07)
|
|
|
|
|
Common Misspellings > |
System F ySystem F ySstem F SySstem F ystem F SSystem F Ssytem F Sysytem F Sstem F Syystem F Sytsem F Systsem F Sytem F Sysstem F Sysetm F Systetm F Sysem F Systtem F Systme F Systeme F Systm F Systeem F Syste mF System mF Syste F Systemm F SystemF System F SystemF System F SystemF F System System FF qystem F sqystem F qsystem F wystem F swystem F wsystem F eystem F seystem F esystem F aystem F saystem F asystem F dystem F sdystem F dsystem F zystem F szystem F zsystem F xystem F sxystem F xsystem F cystem F scystem F csystem F ystem F s ystem F system F S6stem F Sy6stem F S6ystem F S^stem F Sy^stem F S^ystem F S7stem F Sy7stem F S7ystem F Ststem F Sytstem F Stystem F Sustem F Syustem F Suystem F Sgstem F Sygstem F Sgystem F Shstem F Syhstem F Shystem F Sjstem F Syjstem F Sjystem F Syqtem F Sysqtem F Syqstem F Sywtem F Syswtem F Sywstem F Syetem F Sysetem F Syestem F Syatem F Sysatem F Syastem F Sydtem F Sysdtem F Sydstem F Syztem F Sysztem F Syzstem F Syxtem F Sysxtem F Syxstem F Syctem F Sysctem F Sycstem F Sy tem F Sys tem F Sy stem F Sys5em F Syst5em F Sys5tem F Sys%em F Syst%em F Sys%tem F Sys6em F Syst6em F Sys6tem F Sysrem F Systrem F Sysrtem F Sysyem F Systyem F Sysytem F Sysfem F Systfem F Sysftem F Sysgem F Systgem F Sysgtem F Syshem F Systhem F Syshtem F Syst3m F Syste3m F Syst3em F Syst#m F Syste#m F Syst#em F Syst4m F Syste4m F Syst4em F Systwm F Systewm F Systwem F Systrm F Systerm F Systrem F Systsm F Systesm F Systsem F Systdm F Systedm F Systdem F Systfm F Systefm F Systfem F Systam F Systim F Systom F Systum F Systej F Systemj F Systejm F Systek F Systemk F Systekm F Systel F Systeml F Systelm F Systen F Systemn F Systenm F Syste F System F Syste m F System e System fe System ef System r System fr System rf System t System ft System tf System d System fd System df System g System fg System gf System c System fc System cf System v System fv System vf System b System fb System bf System System f System f Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.
|
©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy |
|