BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:This is not a Type: Gradual typing in practice
DTSTART:20160408T150000
DTEND:20160408T160000
DTSTAMP:20260407T125538Z
UID:519f4cabf9a258ef7279c3f403d35b4830a11122aef937b9f0f7ebef
CATEGORIES:Conferences - Seminars
DESCRIPTION:by Prof. Jan VitekAbstract\n"Do well-typed programs go wrong?"
  "Of course they do\, dear\, even the finest programs written using the be
 st of type systems.” “But then\, why bother?” “Because it is the w
 ay of the world child.” The vast majority of programs written today are 
 written in languages with a single\, unconstrained\, type\; in other words
  they ignore four decade of research in programming languages. But all is 
 not lost. An idea --referred to\, for the lack of better name\, as gradual
  typing-- has gained hold in both academe and industry. At heart\, gradual
  typing is about incrementally decorating untyped programs with type annot
 ations and obtaining (partial) correctness. Not surprisingly soundness has
  a very different meaning in academic efforts and industrial ones. This ta
 lk will attempt to explain what it means for a variable x to have type T a
 nd argue that soundness must be revisited in this new age. Examples from o
 ur experience implementing and evaluating gradual type systems for languag
 es such as JavaScript\, Thorn and Racket will illustrate the talk. Some ho
 peful conclusions will be drawn.Bio\nProf. Vitek has a foot in the new wor
 ld where he is part of the PRL lab at Northeastern University and the old 
 one where he is the principal investigator on an ERC Advanced grant on lan
 guage evolution. He does research in programming languages during the day 
 but dreams of data science at night. He is actively recruiting students an
 d postdocs.\nMore information
LOCATION:INF328 http://plan.epfl.ch/?lang=en&room=INF+328
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR