Rohan Jacob-Rao

According to our database, Rohan Jacob-Rao authored at least 3 papers between 2016 and 2018.

Collaborative distances:

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

2018

Index-Stratified Types (Extended Version).

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau

CoRR, 2018

Index-Stratified Types.

Rohan Jacob-Rao, Brigitte Pientka, David Thibodeau

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2016

Mechanizing Proofs about Mendler-style Recursion.

Rohan Jacob-Rao, Andrew Cave, Brigitte Pientka

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2016