J. Levy

发表

Translation of safe GHC and safe Concurrent Prolog to FCP

J. Levy, E. Shapiro, E. Shapiro, 1988 .

CFL—A concurrent functional language embedded in a concurrent logic programming environment

J. Levy, E. Shapiro, 1988 .