. . . "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 Sylvain Salvati (2010)." .