Type-Directed Operational Semantics for Gradual Typing.

Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang

Browse the full ECOOP paper archive.