First-class dynamic types.

Michael Homer, Timothy Jones, James Noble

Browse the full DLS paper archive.