William J. Bowman

According to our database1, William J. Bowman authored at least 11 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Indexed Types for a Statically Safe WebAssembly.
Proc. ACM Program. Lang., January, 2024

2023
Is sized typing for Coq practical?
J. Funct. Program., 2023

Human Perception-Inspired Grain Segmentation Refinement Using Conditional Random Fields.
CoRR, 2023

2022
ANF preserves dependent types up to extensional equality.
J. Funct. Program., 2022

2020
Dependent type systems as macros.
Proc. ACM Program. Lang., 2020

2019
Practical Sized Typing for Coq.
CoRR, 2019

2018
Type-preserving CPS translation of Σ and Π types is not not possible.
Proc. ACM Program. Lang., 2018

Typed closure conversion for the calculus of constructions.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2016
Fully abstract compilation via universal embedding.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015
Profile-guided meta-programming.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Noninterference for free.
Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015


  Loading...