1994 | ||
---|---|---|
3 | Dinesh Katiyar, David C. Luckham, John C. Mitchell: A Type System for Prototyping Languages. POPL 1994: 138-150 | |
2 | Dinesh Katiyar, David C. Luckham, John C. Mitchell: Polymorphism and Subtyping in Interfaces. Workshop on Interface Definition Languages 1994: 22-34 | |
1992 | ||
1 | Ashish Gupta, Dinesh Katiyar, Inderpal Singh Mumick: Counting solutions to the View Maintenance Problem. Workshop on Deductive Databases, JICSLP 1992: 185-194 |
1 | Ashish Gupta | [1] |
2 | David C. Luckham | [2] [3] |
3 | John C. Mitchell | [2] [3] |
4 | Inderpal Singh Mumick | [1] |