Quantum Simulation Programming via Typing. - Liyi Li 002; Federico Zahariev; Chandeepa Dissanayake; Jae Swanepoel; Amr Sabry; Mark S. Gordon (CoRR, 2025)