C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Christopher Goes
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 3
Top Topics
Type Checking
Theoretical Basis
Asynchronous Circuits
Distribution Function
Top Venues
CoRR
ISoLA (3)
Tokenomics
</>
Publications
</>
Christopher Goes
Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix.
ISoLA (3)
(2020)
Christopher Goes
The Interblockchain Communication Protocol: An Overview.
CoRR
(2020)
Dev Ojha
,
Christopher Goes
F1 Fee Distribution.
Tokenomics
(2019)