Dinesh Katiyar

According to our database, Dinesh Katiyar authored at least 4 papers between 1992 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Type systems for modular programming: theory and practice.

Dinesh Katiyar

PhD thesis, 1994

A Type System for Prototyping Languages.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

Polymorphism and Subtyping in Interfaces.

Dinesh Katiyar, David C. Luckham, John C. Mitchell

Proceedings of the Workshop on Interface Definition Languages, 1994

1992

Counting solutions to the View Maintenance Problem.

Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick

Proceedings of the Workshop on Deductive Databases held in conjunction with the Joint International Conference and Symposium on Logic Programming, 1992