Type Reconstruction for General Refinement Types
No abstract available.
DOI 10.1007/978-3-540-71316-6_34
Related papers
- Polymorphic Type Inference and Assignment POPL 1991
- Probabilistic Refinement Session Types PLDI 2025
- Type Reconstruction with First-Class Polymorphic Values PLDI 1989
- An insider's look at LF type reconstruction: everything you (n)ever wanted to know JFP 2013
- Refinement-Based CFG Reconstruction from Unstructured Programs VMCAI 2011
- Type Reconstruction for Type Classes JFP 1995
- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction) ESOP 1999
- Local Type Reconstruction by Means of Symbolic Fixed Point Iteration ESOP 1994