arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"William J. Bowman"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
Sep 23, 2025
Compilation as Multi-Language Semantics
Sep 23, 2025
Macro-embedding Compiler Intermediate Languages in Racket
Jul 9, 2024
Type Universes as Allocation Effects
Jul 2, 2021
Dependent Type Systems as Macros
Dec 11, 2019
Is Sized Typing for Coq Practical?
Aug 12, 2018
Typed Closure Conversion for the Calculus of Constructions