Type Error Slicing in Implicitly Typed Higher-Order Languages
- 28 February 2003
- book chapter
- Published by Springer Nature
- p. 284-301
- https://doi.org/10.1007/3-540-36575-3_20
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Compositional explanation of types and algorithmic debugging of type errorsPublished by Association for Computing Machinery (ACM) ,2001
- The Definition of Standard MLPublished by MIT Press ,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
- An analysis of ML typabilityJournal of the ACM, 1994
- Explaining type errors in polymorphic languagesACM Letters on Programming Languages and Systems, 1993
- Smartest recompilationPublished by Association for Computing Machinery (ACM) ,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