Siva Somayyajula

According to our database, Siva Somayyajula authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Dependent Type Refinements for Futures.

Siva Somayyajula, Frank Pfenning

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Type-Based Termination for Futures.

Siva Somayyajula, Frank Pfenning

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

2021

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

Siva Somayyajula, Frank Pfenning

CoRR, 2021