Travelled to:
1 × Denmark
1 × Finland
2 × USA
Collaborated with:
∅ L.A.Shklar A.P.Sheth V.Kashyap
Talks about:
type (4) implicit (2) system (2) scale (2) infer (2) heterogen (1) synthesi (1) interfac (1) reusabl (1) retriev (1)
Person: Satish Thatté
DBLP: Thatt=eacute=:Satish
Contributed to:
Wrote 5 papers:
- SIGMOD-1995-ShklarSKT #named #retrieval
- InfoHarness: A System for Search and Retrieval of Heterogeneous Information (LAS, APS, VK, ST), p. 478.
- POPL-1994-Thatte #adaptation #automation #interface #reuse #synthesis
- Automated Synthesis of Interface Adapters for Reusable Classes (ST), pp. 174–187.
- ESOP-1990-Thatte #scalability #type inference
- Type Inference and Implicit Scaling (ST), pp. 406–420.
- ESOP-J-1990-Thatte91 #scalability #type system
- A Type System for Implicit Scaling (ST), pp. 217–245.
- ICALP-1988-Thatte #type inference
- Type Inference with Partial Types (ST), pp. 615–629.