Login / Signup
Siva Somayyajula
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Type Checking
Top Venues
CoRR
FSCD
</>
Publications
</>
Siva Somayyajula
,
Frank Pfenning
Dependent Type Refinements for Futures.
CoRR
(2023)
Siva Somayyajula
,
Frank Pfenning
Type-Based Termination for Futures.
FSCD
(2022)
Siva Somayyajula
,
Frank Pfenning
Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements.
CoRR
(2021)