AnnoDomini
- 1 January 1999
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- 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