![](/img/cover-not-exists.png)
[ACM Press the 2nd ACM SIGPLAN international conference - Montreal, Quebec, Canada (2000.09.20-2000.09.23)] Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '00 - A precise type analysis of logic programs
Lu, LunjinYear:
2000
Language:
english
DOI:
10.1145/351268.351293
File:
PDF, 375 KB
english, 2000