| slovo | definícia |
system f
(foldoc) | 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)
|
| | podobné slovo | definícia |
stabilization system for export earnings
(encz) | Stabilization System for Export Earnings, |
system fungicide
(encz) | system fungicide,systémový fungicid [eko.] RNDr. Pavel Piskač |
(power) management and distribution system for the more electric aircraft
(czen) | (Power) Management And Distribution System for the More Electric
aircraft,MADMEL[zkr.] [voj.] Zdeněk Brož a automatický překlad |
assessment system for aircraft noise
(czen) | Assessment System for Aircraft Noise,ASAN[zkr.] [voj.] Zdeněk Brož a
automatický překlad |
intelligence data analysis system for spacecraft
(czen) | Intelligence Data Analysis System for Spacecraft,IDASS[zkr.]
[voj.] Zdeněk Brož a automatický překlad |
an evolutionary system for on-line programming
(foldoc) | An Evolutionary System for On-line Programming
AESOP
(AESOP) An early interactive query system on the
IBM 1800 using a light pen.
["AESOP: A Final Report: A Prototype Interactive Information
Control System", J.K. Summers et al, in Information System
Science and Technology, D. Walker ed, 1967].
[Sammet 1969, p. 703].
(1995-04-04)
|
global system for mobile communications
(foldoc) | Global System for Mobile Communications
GSM
(GSM) One of the major standards for
digital mobile communications. In 1982, the Groupe Speciale
Mobile was formed by the {Confederation of European Posts and
Telecommunications} (CEPT) to design a pan-European mobile
technology. GSM was named after the "Groupe de travail
Spéciale pour les services Mobiles" group of CEPT that wrote
the first GSM specifications.
By 2011, GSM was in use in over 60 countries and serving over
six billion subscribers. The GSM standard uses the 900 MHz,
1800 MHz and 1900 MHz bands.
GPRS allows packet switched data communications over GSM,
and is widely used for web and electronic mail access from
mobile devices.
GSM History (http://www.gsma.com/aboutus/history).
(2017-01-03)
|
system f
(foldoc) | 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)
|
|