Publications

• (PhD thesis) A Framework for Semiring-Annotated Type Systems — 2023 draft
• (Paper) A Framework for Substructural Type Systems — Wood, Atkey; ESOP 2022
• (Paper) A Linear Algebra Approach to Linear Metatheory — Wood, Atkey; Linearity/TLLA 2020 post-proceedings
• (Extended abstract) A Linear Algebra Approach to Linear Metatheory — Wood, Atkey; Linearity/TLLA 2020 (8 pages)
• (Extended abstract) Linear metatheory via linear algebra — Atkey, Wood; TYPES 2019 extended abstract (2 pages)
• (Extended abstract) Context Constrained Computation — Atkey, Wood; TyDe 2018 extended abstract (2 pages)