Login / Signup
Tyler Etzel
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 3
Top Topics
Bounding Box
Similar Objects
Fully Functional
Financial Markets
Top Venues
SPLASH (Companion Volume)
CoRR
ACM Trans. Program. Lang. Syst.
</>
Publications
</>
Michael J. Coblenz
,
Reed Oei
,
Tyler Etzel
,
Paulette Koronkevich
,
Miles Baker
,
Yannick Bloem
,
Brad A. Myers
,
Joshua Sunshine
,
Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming.
ACM Trans. Program. Lang. Syst.
42 (3) (2020)
Michael J. Coblenz
,
Reed Oei
,
Tyler Etzel
,
Paulette Koronkevich
,
Miles Baker
,
Yannick Bloem
,
Brad A. Myers
,
Joshua Sunshine
,
Jonathan Aldrich
Obsidian: Typestate and Assets for Safer Blockchain Programming.
CoRR
(2019)
Tyler Etzel
Flexible initialization of immutable objects.
SPLASH (Companion Volume)
(2016)