Complexity of Concrete Type-Inference in the Presence of Exceptions
No abstract available.
DOI 10.1007/bfb0053563
Related papers
- Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages OOPSLA 1995
- Static Type Analysis by Abstract Interpretation of Python Programs ECOOP 2020
- Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism ESOP 2026
- Dependent ML An approach to practical programming with dependent types JFP 2007
- On Exceptions Versus Continuations in the Presence of State ESOP 2000
- Optimizing Java Programs in the Presence of Exceptions ECOOP 2000
- Precise Concrete Type Inference for Object-Oriented Languages OOPSLA 1994
- Deciding Type Isomorphisms in a Type-Assignment Framework JFP 1993