| slovo | definícia |
lml
(foldoc) | LML
1. Lazy ML.
A lazy, purely functional variant of ML designed by
Thomas Johnson and Lennart Augustsson at the Chalmers
University of Technology, Gothenburg, Sweden in 1984. LML is
implemented on the G-machine, and was used to implement the
first Haskell B compiler. There is a compiler (lmlc) and
interpreter.
(ftp://ftp.cs.chalmers.se/pub/haskell/chalmers).
(1994-12-14)
2. Logical ML.
Adds to Lazy ML a data type of "theories" whose objects
represent logic programs.
["Logic Programming within a Functional Framework", A. Brogi
et al, in Programming Language Implementation and Logic
Programming, P. Deransart et al eds, LNCS 456, Springer 1990].
(1994-12-14)
|
| | podobné slovo | definícia |
calmly
(mass) | calmly
- pokojne, ticho |
calmly
(encz) | calmly,klidně Jiří Šmoldascalmly,tiše Jiří Šmoldas |
palmlike
(encz) | palmlike, adj: |
Calmly
(gcide) | Calmly \Calm"ly\, adv.
In a calm manner.
[1913 Webster]
The gentle stream which calmly flows. --Denham.
[1913 Webster] |
Helmless
(gcide) | Helmless \Helm"less\, a.
1. Destitute of a helmet.
[1913 Webster]
2. Without a helm or rudder. --Carlyle.
[1913 Webster] |
Realmless
(gcide) | Realmless \Realm"less\, a.
Destitute of a realm. --Keats.
[1913 Webster] |
calmly
(wn) | calmly
adv 1: with self-possession (especially in times of stress); "he
spoke calmly to the rioting students"
2: in a sedate manner [syn: sedately, calmly] |
palmlike
(wn) | palmlike
adj 1: resembling a palm tree |
lml
(foldoc) | LML
1. Lazy ML.
A lazy, purely functional variant of ML designed by
Thomas Johnson and Lennart Augustsson at the Chalmers
University of Technology, Gothenburg, Sweden in 1984. LML is
implemented on the G-machine, and was used to implement the
first Haskell B compiler. There is a compiler (lmlc) and
interpreter.
(ftp://ftp.cs.chalmers.se/pub/haskell/chalmers).
(1994-12-14)
2. Logical ML.
Adds to Lazy ML a data type of "theories" whose objects
represent logic programs.
["Logic Programming within a Functional Framework", A. Brogi
et al, in Programming Language Implementation and Logic
Programming, P. Deransart et al eds, LNCS 456, Springer 1990].
(1994-12-14)
|
|