slovodefiní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é slovodefiní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

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4