Travelled to:
1 × USA
Collaborated with:
D.Wetklow ∅
Talks about:
type (3) reconstruct (1) polymorph (1) coercion (1) languag (1) subtyp (1) orient (1) object (1) method (1) infer (1)
Person: Ryan Stansifer
DBLP: Stansifer:Ryan
Contributed to:
Wrote 3 papers:
- SAC-1994-StansiferW #morphism #polymorphism #re-engineering
- Type reconstruction for coercion polymorphism (RS, DW), pp. 420–424.
- SAC-1993-StansiferW #object-oriented #reuse
- Method Reuse in Typed Object-Oriented Languages (RS, DW), pp. 63–70.
- POPL-1988-Stansifer #type inference #type system
- Type Inference with Subtypes (RS), pp. 88–97.