Compositional explanation of types and algorithmic debugging of type errors
- 1 October 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (10) , 193-204
- https://doi.org/10.1145/507635.507659
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- A visualisation of polymorphic type checkingJournal of Functional Programming, 2000
- Proofs about a folklore let-polymorphic type inference algorithmACM Transactions on Programming Languages and Systems, 1998
- Explaining type inferenceScience of Computer Programming, 1996
- What are principal typings and what are they good for?Published by Association for Computing Machinery (ACM) ,1996
- Explaining type errors in polymorphic languagesACM Letters on Programming Languages and Systems, 1993
- Generalized algorithmic debugging and testingACM Letters on Programming Languages and Systems, 1992
- A maximum-flow approach to anomaly isolation in unification-based incremental type inferencePublished by Association for Computing Machinery (ACM) ,1986
- Finding the source of type errorsPublished by Association for Computing Machinery (ACM) ,1986
- Algorithmic Program DebuggingPublished by MIT Press ,1983