Type error slicing in implicitly typed higher-order languages
- 31 March 2004
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 50 (1-3), 189-224
- https://doi.org/10.1016/j.scico.2004.01.004
Abstract
No abstract availableKeywords
This publication has 12 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
- A Case Study of a Slicing-Based Approach for Locating Type ErrorsPublished by BCS Learning and Development Limited ,1997
- Explaining type inferenceScience of Computer Programming, 1996
- Catching bugs in the web of program invariantsPublished by Association for Computing Machinery (ACM) ,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
- Smartest recompilationPublished by Association for Computing Machinery (ACM) ,1993
- Finding the source of type errorsPublished by Association for Computing Machinery (ACM) ,1986
- Principal type-schemes for functional programsPublished by Association for Computing Machinery (ACM) ,1982