Travelled to:1 × USA
Collaborated with:K.B.Bruce T.P.Murtagh R.v.Gent A.Dimock R.Müller
Talks about:languag (1) orient (1) object (1) decid (1) check (1) type (1) safe (1)
Person: Jonathan Crabtree
DBLP: Crabtree:Jonathan
Contributed to:
1993Wrote 1 papers:
- OOPSLA-1993-BruceCMGDM #decidability #object-oriented #type checking
- Safe and Decidable Type Checking in an Object-Oriented Language (KBB, JC, TPM, RvG, AD, RM), pp. 29–46.