![]() | 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] |