. . "The applicative expressions of CL can be easily translated into a functional programming language such as HASKELL or CAML. (shrink)Science, Logic, and Mathematics Direct download (2 more) My bibliography Export citation Friederike Moltmann (2014)." . .