ParentsSign in to add mentor
ChildrenSign in to add trainee
CollaboratorsSign in to add collaborator
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|