On the Cost of Type-Tag Soundness with Ben Greenman. In Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18).
Ph.D. student at UCLA
On the Cost of Type-Tag Soundness with Ben Greenman. In Proceedings of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM’18).
