Guria, Sankha Narayan
- RbSyn: Type- and Effect-Guided Program Synthesis
2021/02/25 by Guria, Sankha Narayan, Foster, Jeffrey S., Van Horn, David · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Type-Level Computations for Ruby Libraries
2019/04/06 by Kazerounian, Milod, Guria, Sankha Narayan, Vazou, Niki +2 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)