Type Inference of SELF
Abstract elided by the publisher.
Related papers
- Type Feedback vs. Concrete Type Inference: A Comparison of Optimization Techniques for Object-Oriented Languages OOPSLA 1995
- Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types PLDI 2026
- Implicit self-adjusting computation for purely functional programs JFP 2014
- Sifting Out the Gold OOPSLA 1994
- Property Directed Self Composition CAV 2019
- Contracts for domain-specific languages in Ruby DLS 2014
- ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures CAV 2021
- IsoLATE: A Type System for Self-recursion ESOP 2015