Login / Signup
Taylor Blau
Publication Activity (10 Years)
Years Active: 2018-2020
Publications (10 Years): 2
Top Topics
Solid Models
Computer Assisted
Functional Programming
Cad Model
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Taylor Blau
Verifying Strong Eventual Consistency in δ-CRDTs.
CoRR
(2020)
Chandrakana Nandi
,
James R. Wilcox
,
Pavel Panchekha
,
Taylor Blau
,
Dan Grossman
,
Zachary Tatlock
Functional programming for compiling and decompiling computer-aided design.
Proc. ACM Program. Lang.
2 (ICFP) (2018)