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. . (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)

N="left">IN additioN suitable coNteNts:
[ 2 ] [ = ] [ ag ] [ al ] [ am ] [ aN ] [ ar ] [ arc ] [ as ] [ at ] [ az ] [ B ] [ b ] [ bj ] [ by ] [ C ] [ ca ] [ Ch ] [ ch ] [ Chalmers UNiversity of TechNology ] [ co ] [ com ] [ compiler ] [ D ] [ data ] [ data type ] [ dd ] [ de ] [ desigN ] [ du ] [ ec ] [ ed ] [ er ] [ era ] [ es ] [ et ] [ fi ] [ file ] [ FuN ] [ fuNctioN ] [ fuNctioNal ] [ G ] [ ge ] [ gi ] [ gN ] [ Go ] [ gr ] [ gu ] [ gy ] [ h ] [ Haskell B ] [ hN ] [ hose ] [ hr ] [ id ] [ ie ] [ il ] [ iN ] [ iNt ] [ iNterpreter ] [ io ] [ ir ] [ is ] [ it ] [ J ] [ ke ] [ la ] [ lc ] [ Lex ] [ ly ] [ M ] [ ma ] [ machiNe ] [ ML ] [ ml ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ N ] [ Na ] [ NC ] [ Nc ] [ NCS ] [ Ne ] [ Ng ] [ Ni ] [ NN ] [ No ] [ Ns ] [ object ] [ om ] [ pe ] [ ph ] [ pl ] [ pr ] [ program ] [ query ] [ rc ] [ re ] [ rete ] [ ro ] [ S ] [ sa ] [ se ] [ si ] [ sig ] [ sit ] [ sk ] [ so ] [ st ] [ T ] [ th ] [ Thomas ] [ to ] [ tp ] [ type ] [ ua ] [ ug ] [ us ] [ va ] [ var ] [ ve ]