Nadathur, Gopalan

1. A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs
   2015/09/12 by Wang, Yuting, Nadathur, Gopalan · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Nominal Abstraction
   2009/08/10 by Andrew Gacek, Gacek, Andrew, Dale Miller +3 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. A two-level logic approach to reasoning about computations
   2009/11/16 by Andrew Gacek, Gacek, Andrew, Dale Miller +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies
4. Combining Deduction Modulo and Logics of Fixed-Point Definitions
   2012/04/27 by David Baelde, Baelde, David, Gopalan Nadathur +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
5. A Logic for Reasoning About LF Specifications
   2021/06/30 by Gopalan Nadathur, Nadathur, Gopalan, Mary Southern +1 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies