WGT 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
Conference Editions
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

WGT 2020 with POPL 2020

The Workshop on Gradual Typing (WGT) aims at disseminating the latest results on the integration of compile­-time and run­-time checking of program invariants, such as the integration of static and dynamic type checking. The workshop serves as an incubator for ideas, open problems, and manuscripts: it is a place where the community can meet, discuss, and give each other constructive feedback. The workshop will en ...