Type Error Slicing in Implicitly Typed Higher-Order Languages
No abstract available.
Related papers
- A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism JFP 1995
- Confined gradual typing OOPSLA 2014
- A monadic analysis of information flow security with mutable state JFP 2005
- Type Classes with Existential Types JFP 1996
- Channel dependent types for higher-order mobile processes POPL 2004
- Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity OOPSLA 2023
- Towards locating execution omission errors PLDI 2007
- Explicit Effect Subtyping ESOP 2018