1992
Why the occur-check is not a problem
Publication
Publication
Presented at the
Programming Language Implementation and Logic Programming, Leuven, Belgium
Additional Metadata | |
---|---|
Springer | |
Lecture Notes in Computer Science | |
Programming Language Implementation and Logic Programming | |
Organisation | Networks and Optimization |
Apt, K., & Pellegrini, A. (1992). Why the occur-check is not a problem. In Programming Language Implementation and Logic Programming 1992 (PLILP 4) (pp. 69–86). Springer. |