SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 18:00 - 18:20 at SPLASH - T-6B
Wed 18 Nov 2020 06:00 - 06:20 at SPLASH - T-6B

We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem.

Tue 17 Nov
Times are displayed in time zone: Central Time (US & Canada) change

17:00 - 18:20: T-6BOOPSLA at SPLASH +12h
17:00 - 17:20
Talk
OOPSLA
Ton Chanh LeStevens Institute of Technology, Timos AntonopoulosYale University, Parisa FathololumiStevens Institute of Technology, Eric KoskinenStevens Institute of Technology, ThanhVu NguyenUniversity of Nebraska, Lincoln
17:20 - 17:40
Talk
OOPSLA
Eric AtkinsonMIT, Michael CarbinMassachusetts Institute of Technology, USA
17:40 - 18:00
Talk
OOPSLA
Julia BelyakovaNortheastern University, USA, Benjamin ChungNortheastern University, Jack GelinasNortheastern University, Jameson NashJulia Computing, Ross TateCornell University, Jan VitekNortheastern University
18:00 - 18:20
Talk
OOPSLA
Robert GriesemerGoogle, Raymond HuUniversity of Hertfordshire, Wen KokkeUniversity of Edinburgh, Julien LangeRoyal Holloway, University of London, Ian Lance TaylorGoogle, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS, Philip WadlerUniversity of Edinburgh, UK, Nobuko YoshidaImperial College London

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

05:00 - 06:20: T-6BOOPSLA at SPLASH
05:00 - 05:20
Talk
OOPSLA
Ton Chanh LeStevens Institute of Technology, Timos AntonopoulosYale University, Parisa FathololumiStevens Institute of Technology, Eric KoskinenStevens Institute of Technology, ThanhVu NguyenUniversity of Nebraska, Lincoln
05:20 - 05:40
Talk
OOPSLA
Eric AtkinsonMIT, Michael CarbinMassachusetts Institute of Technology, USA
05:40 - 06:00
Talk
OOPSLA
Julia BelyakovaNortheastern University, USA, Benjamin ChungNortheastern University, Jack GelinasNortheastern University, Jameson NashJulia Computing, Ross TateCornell University, Jan VitekNortheastern University
06:00 - 06:20
Talk
OOPSLA
Robert GriesemerGoogle, Raymond HuUniversity of Hertfordshire, Wen KokkeUniversity of Edinburgh, Julien LangeRoyal Holloway, University of London, Ian Lance TaylorGoogle, Bernardo ToninhoUniversidade Nova de Lisboa and NOVA LINCS, Philip WadlerUniversity of Edinburgh, UK, Nobuko YoshidaImperial College London