with graded modal types” Orchard, Liepelt, Eades (2019) “Linear Haskell: Practical linearity in a higher-order polymorphic language” Bernardy, Boespflug, Newton, Jones, Spiwack (2018) “Making uniqueness typing less unique” de Vries, advised by Plasmeijer (PhD thesis) (2009) “Oxide: the essence of Rust” Weiss, Gierczak, Patterson, Ahmed (2021) Mutant Standard and Ferris the Rustacean emoji used under a Creative Commons BY-NC-SA 4.0 International license! 12/12