Programming language implementation and logic programming

by PLILP '91 (1991 Passau, Germany), Germany) Plilp 9 (1991 Passau

Standard ML of New Jersey is a compiler and programming environment for the Standard ML language[26] that has been conti...