Dinesh Katiyar

Publication Activity (10 Years)

Years Active: 1992-1994
Publications (10 Years): 0

Publications

Dinesh Katiyar, David C. Luckham, John C. Mitchell
Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages (1994)
Dinesh Katiyar, David C. Luckham, John C. Mitchell
A Type System for Prototyping Languages. POPL (1994)
Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick
Counting solutions to the View Maintenance Problem. Workshop on Deductive Databases, JICSLP (1992)