Reflection for Statically Typed Languages
No abstract available.
Related papers
- Functional pearl: implicit configurations-or, type classes reflect the values of types Haskell 2004
- Dynamic inference of static types for ruby POPL 2011
- First-class effect reflection for effect-guided programming OOPSLA 2016
- Reflections on the Role of Static Analysis in Cooperative Bug Isolation SAS 2008
- zBuffer: Zero-Copy and Metadata-Free Serialization for Fast RPC with Scatter-Gather Reflection PPoPP 2026
- Design and evaluation of gradual typing for python DLS 2014
- A Typed Intermediate Representation for Dynamic Languages TOPLAS 2026
- Expressive and safe static reflection with MorphJ PLDI 2008