Gopalan Nadathur

Computer Science University of Minnesota, Twin Cities, Minneapolis, MN 
Computer Science
"Gopalan Nadathur"


Sign in to add trainee
Andrew J. Gacek grad student 2009 UMN
Xiaochu Qi grad student 2009 UMN
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Nadathur G, Qi X. (2005) Optimizing the runtime processing of types in polymorphic logic programming languages Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3835: 110-124
Liang C, Nadathur G, Qi X. (2004) Choices in representation and reduction strategies for lambda terms in intensional contexts Journal of Automated Reasoning. 33: 89-132
Nadathur G, Qi X. (2003) Explicit Substitutions in the Reduction of Lambda Terms Proceedings of the Acm Sigplan Conference On Principles and Practice of Declarative Programming. 5: 195-206
See more...