William J. Bowman

26 papers A* 2A 2C 1Journal 20

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Compilation as Multi-Language Semantics. CoRR William J. Bowman
2025	J	`jnl`	Dependent-Type-Preserving Memory Allocation. CoRR Paulette Koronkevich, William J. Bowman
2025	J	`jnl`	Extended Abstract: Towards a Performance Comparison of Syntax and Type-Directed NbE. CoRR Chester J. F. Gould, William J. Bowman
2025	J	`jnl`	Fast and Extensible Hybrid Embeddings with Micros. CoRR Sean Bocirnea, William J. Bowman
2025	J	`jnl`	Macro-embedding Compiler Intermediate Languages in Racket. CoRR William J. Bowman
2025	J	`jnl`	One Weird Trick to Untie Landin's Knot. CoRR Paulette Koronkevich, William J. Bowman
2025	C	`conf`	The Ethical Compiler: Addressing the Is-Ought Gap in Compilation (Invited Talk). PEPM William J. Bowman
2025	J	`jnl`	Type Universes as Kripke Worlds. Proc. ACM Program. Lang. Paulette Koronkevich, William J. Bowman
2025	J	`jnl`	Type-Preserving Flat Closure Optimization. Proc. ACM Program. Lang. Adam T. Geller, Sean Bocirnea, Chester J. F. Gould, Paulette Koronkevich, William J. Bowman
2024	J	`jnl`	A Low-Level Look at A-Normal Form. Proc. ACM Program. Lang. William J. Bowman
2024	J	`jnl`	ACM Profits Considered Harmful. Commun. ACM William J. Bowman
2024	J	`jnl`	Indexed Types for a Statically Safe WebAssembly. Proc. ACM Program. Lang. Adam T. Geller, Justin Frank, William J. Bowman
2024	J	`jnl`	Type Universes as Allocation Effects. CoRR Paulette Koronkevich, William J. Bowman
2023	J	`jnl`	Human Perception-Inspired Grain Segmentation Refinement Using Conditional Random Fields. CoRR Doruk Aksoy, Huolin L. Xin, Timothy J. Rupert, William J. Bowman
2023	J	`jnl`	Is sized typing for Coq practical? J. Funct. Program. Jonathan Chan, Yufeng Li, William J. Bowman
2022	J	`jnl`	ANF preserves dependent types up to extensional equality. J. Funct. Program. Paulette Koronkevich, Ramon Rakow, Amal Ahmed, William J. Bowman
2021	J	`jnl`	Dependent Type Systems as Macros. CoRR Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
2020	J	`jnl`	Dependent type systems as macros. Proc. ACM Program. Lang. Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
2020	—	`ed.`	Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers TFP William J. Bowman, Ronald Garcia
2019	J	`jnl`	Practical Sized Typing for Coq. CoRR Jonathan Chan, William J. Bowman
2018	J	`jnl`	Type-preserving CPS translation of Σ and Π types is not not possible. Proc. ACM Program. Lang. William J. Bowman, Youyou Cong, Nick Rioux, Amal Ahmed
2018	J	`jnl`	Typed Closure Conversion for the Calculus of Constructions. CoRR William J. Bowman, Amal Ahmed
2018	A*	`conf`	Typed closure conversion for the calculus of constructions. PLDI William J. Bowman, Amal Ahmed
2016	A	`conf`	Fully abstract compilation via universal embedding. ICFP Max S. New, William J. Bowman, Amal Ahmed
2015	A	`conf`	Noninterference for free. ICFP William J. Bowman, Amal Ahmed
2015	A*	`conf`	Profile-guided meta-programming. PLDI William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig