Stream Types. - Joseph W. Cutler; Christopher Watson; Emeka Nkurumeh; Phillip Hilliard; Harrison Goldstein; Caleb Stanford; Benjamin C. Pierce (Proc. ACM Program. Lang., 2024)