Travelled to:
1 × Canada
1 × USA
Collaborated with:
∅ J.Dean G.DeFouw D.Grove C.Chambers
Talks about:
polymorph (1) contraint (1) practic (1) languag (1) vortex (1) toward (1) system (1) static (1) orient (1) object (1)
Person: Vassily Litvinov
DBLP: Litvinov:Vassily
Contributed to:
Wrote 2 papers:
- OOPSLA-1998-Litvinov #morphism #polymorphism #static typing #towards #type system
- Contraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System (VL), pp. 388–411.
- OOPSLA-1996-DeanDGLC #compilation #named #object-oriented #optimisation
- Vortex: An Optimizing Compiler for Object-Oriented Languages (JD, GD, DG, VL, CC), pp. 83–100.