Gopalan Nadathur profile picture

Gopalan Nadathur

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Programming with Higher-Order Logic
Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings
Programming with Higher-Order Logic
Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings
Principles and Practice of Declarative Programming International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings