A Compilation Method for Dynamic Typing in ML
Abstract elided by the publisher.
Related papers
- Trace-based just-in-time type specialization for dynamic languages PLDI 2009
- Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages SLE 2024
- A study of devirtualization techniques for a JavaTM Just-In-Time compiler OOPSLA 2000
- Link-Time Optimization of Dynamic Casts in C++ Programs PLDI 2025
- Taming Message Passing: Efficient Method Look-Up for Dynamically Typed Languages ECOOP 1994
- Partial Method Compilation using Dynamic Profile Information OOPSLA 2001
- Method-specific dynamic compilation using logistic regression OOPSLA 2006
- Tag-Free Garbage Collection for Strongly Typed Programming Languages PLDI 1991