Scripting the type inference process
- 25 August 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (9) , 3-13
- https://doi.org/10.1145/944705.944707
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Compositional explanation of types and algorithmic debugging of type errorsPublished by Association for Computing Machinery (ACM) ,2001
- Proofs about a folklore let-polymorphic type inference algorithmACM Transactions on Programming Languages and Systems, 1998
- Explaining type inferenceScience of Computer Programming, 1996
- Type inclusion constraints and type inferencePublished by Association for Computing Machinery (ACM) ,1993
- Explaining type errors in polymorphic languagesACM Letters on Programming Languages and Systems, 1993
- A maximum-flow approach to anomaly isolation in unification-based incremental type inferencePublished by Association for Computing Machinery (ACM) ,1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982