2 papers
cs.PL2026
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
Senxi Li, Feng Dai, Tetsuro Yamazaki +1
Gradual typing has gained popularity as a design choice for integrating static and dynamic typing within a single language. Several practical languages have adopted gradual typing…
cs.PL2025
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
Fumika Mochizuki, Tetsuro Yamazaki, Shigeru Chiba
Virtual machines (VMs) are highly beneficial for microcontroller development. In particular, interactive programming environments greatly facilitate iterative development processes…