AnnoDomini
- 1 January 1999
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Aggregate structure identification and its application to program analysisPublished by Association for Computing Machinery (ACM) ,1999
- LackwitPublished by Association for Computing Machinery (ACM) ,1997
- Solving word equationsJournal of Symbolic Computation, 1989
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978