A statically safe alternative to virtual types
- KimB. Bruce
- , Martin Odersky
- , Philip Wadler
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution