Siva Somayyajula | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

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. ∙