Gopalan Nadathur

Affiliations: 
Computer Science University of Minnesota, Twin Cities, Minneapolis, MN 
Area:
Computer Science
Google:
"Gopalan Nadathur"

Children

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

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...