Jeremy Siek. «Toward a Mechanized Encyclopedia of Gradual Typing»
Cuándo: Jueves 4 de julio, a las 11:00 horas. Dónde: Sala Ada Lovelace (3er. Piso, Torre Poniente, Beauchef 851, Santiago) Organiza: Éric Tanter, académico Departamento Ciencias de la Computación Universidad de Chile, investigador asociado IMFD. Abstract: As a research area, gradual typing has grown considerably over the last decade, with more than 150 papers in…
