Travelled to:
1 × USA
Collaborated with:
D.C.Luckham J.C.Mitchell
Talks about:
prototyp (1) languag (1) system (1) type (1)
Person: Dinesh Katiyar
DBLP: Katiyar:Dinesh
Contributed to:
Wrote 1 papers:
- POPL-1994-KatiyarLM #prototype #type system
- A Type System for Prototyping Languages (DK, DCL, JCM), pp. 138–150.