Type error slicing in implicitly typed higher-order languages
Authors:
- 31 March 2004
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 50 (1-3) , 189-224
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Compositional explanation of types and algorithmic debugging of type errors2001
- 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 ErrorsElectronic Workshops in Computing, 1997
- Explaining type inferenceScience of Computer Programming, 1996
- Catching bugs in the web of program invariants1996
- What are principal typings and what are they good for?1996
- Explaining type errors in polymorphic languagesACM Letters on Programming Languages and Systems, 1993
- Smartest recompilation1993
- Finding the source of type errors1986
- Principal type-schemes for functional programs1982