Northeastern University / Michael Homer James Noble Victoria University / Victoria University / Aarhus University / Magnus Madsen Aarhus University Aarhus University Aarhus University / University of California / JavaScript Ravi Chugh David Herman Ranjit Jhala University of California / Carnegie-Mellon University / /
IndustryTerm
commodity web browser / web applications / naïve algorithm / web application programmers1 / web application / web browser / software modules / software development / inference algorithm / web application code / cartesian product algorithm / polymorphic subtype constraint systems / constraint systems / development infrastructure / software practice / polyvariant inference algorithm / type systems / static type systems / expressive dependent type systems / /
Movie
The Big Bang / /
Organization
Esben Andreasen Asger Feldthaus Aarhus University Aarhus University Simon Holm Jensen Aarhus University / The Johns Hopkins University / Northeastern University / Danish Research Council for Technology and Production / Program Committee / Victoria University of Wellington / Carnegie-Mellon University / University of California / San Diego / Center for Advanced Software Analysis / /
Person
Shay Artzi / Julian Dolby / Allyn Dimock / David Herman / David Walker / Matthew Flatt / François Pottier / Ralph E. Johnson / Yu David Liu / Claudiu Saftoiu / Stephanie Weirich / Jan Vitek / Adam Welc / Avik Chaudhuri David Herman Manuel / Todd Millstein / Anders Møller / Jacob H.C. Kragh / Patrick M. Rondon / David Liu / Gilad Bracha / Valery Trifonov / Tiejun Wang / Ravi Chugh / Tian Zhao / Greg Morrisett / Michael Hicks / Ranjit Jhala Kathryn Gray / J. B. Wells / Arjun Guha / Max Sch / Manuel Hermenegildo Atsushi Igarashi Arjun Guha Ranjit / Jeffrey S. Foster / Jonathan Eifrig / Michael Homer James Noble / Simon Holm Jensen / David Herman Manuel Hermenegildo / Aditya Kulkarni / Matthias Diehn Ingesman / Henning Makholm / Michael Furr / Scott Smith / Herman Manuel Hermenegildo Atsushi / Cormac Flanagan / Robert Muller / Jens Palsberg / Frederick Smith / Atsushi Ohori / Frank Tip / Franklyn Turbak / Scott F. Smith / Matthias Felleisen / Peter Thiemann / Peter A. Jonsson / Ranjit Jhala / Sam Tobin-Hochstadt / David Griswold / Arjun Guha Ranjit Jhala Kathryn / Shriram Krishnamurthi / Casper S. Jensen / Zachary Palmer Alexander Rozenshteyn Scott Smith / /