Lml
1 definitions retrieved  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) Lml related |
|||
Random Words
Voraussetzung, Napier, Fortis, Dempster, Aubrey, Streicheln, Disorders, Heilige, Haftung, Clinton, Ptsd, Becher, Et, Aussicht, Schulamt, Hallen, Eye, Mischbatterie, Spinal, Cyrus, Erdgas, Macedonia, Chucks, Bermuda, Hodges Popular Words Webster Dictionary, Online Dictionary, Spanish Dictionary, Medical Dictionary, Internet Dictonary, Web Dictionary, Dictionary Websters Online, Dream Dictionary, English - Spanish Dictionary, Urban Dictionary, Translate English To Spanish, Translate Germany, Copyrights: Gcide, Gazetteer, en-de, Devil's D., Freedict: GNU General Public License 2 or later FOLDOC, VERA: GNU General Public License 1.1 or later Moby-thesaurus, Jargon, Hitchcock, Bouvier, Elements, Easton: Public Domain WordNet: Princeton University
Type your search term into the input field and press the 'Search' button!
|
Copyright © 2005 domains-und-mehr.de; All rights reserved!