Siva Somayyajula | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Frank Pfenning
20 publications

research

∙ 09/15/2023

Dependent Type Refinements for Futures

Type refinements combine the compositionality of typechecking with the e...

0 Siva Somayyajula, et al. ∙

research

∙ 05/13/2021

Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements

Type systems for concurrent programs guarantee such desirable properties...

0 Siva Somayyajula, et al. ∙