![](/img/cover-not-exists.png)
[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Type analysis of logic programs in the presence of type definitions
Lu, LunjinYear:
1995
Language:
english
DOI:
10.1145/215465.215597
File:
PDF, 1.03 MB
english, 1995