• 2023-01-21 Visibility of Entities
• 2022-11-08 mch: A Highly-Compatible Lightweight Benchmark Harness for Minecraft
• 2022-04-03 Protecting Your System from Players
• 2022-02-05 List-Mapped Trie: An NBT Data Structure Indexable in Ω(logN)-O(log²N) Time
• 2022-01-20 Modular Defunctionalization Using Function Tags
• 2022-01-12 What is the Equivalent of Uniqueness/Linearity for Ordered Types?
• 2021-12-21 Sequential Dispatch with Sibling Pointers
• 2021-11-28 Mutual Tail Recursion Modulo Pattern Matching
• 2021-11-12 Pass-by-Context: Zero Runtime Cost Argument Passing
• 2021-08-17 Tail Recursion Under Multiple Continuations
• 2021-08-14 Tail Recursion Modulo Pattern Matching with Trampolines
• 2021-07-16 Compiling Polymorphism with Type Passing
• 2021-07-10 Non-Ad Hoc Canonical Restriction
• 2021-07-03 Representation Polymorphism and Monomorphization
• 2021-07-02 Compiling First-Order Language to Datapack
• 2021-06-30 New World