Well-Typed LLP / Citrix Systems / Galois Inc. / Facebook / Huawei Technologies / Building Secure Systems / Building Embedded Systems / EPFL & Oracle Labs / WellPosed Limited / Jesse Tov Co / Edwin Brady Co / NEC Software Tohoku Ltd. / Microsoft / /
Country
Australia / Columbia / /
Facility
Generalization Lee Pike / Macquarie University / Kyoto University / Northwestern University / Tallinn University of Technology / Portland State University / Northeastern University / Nagoya University / Heriot Watt University / University of Strathclyde / Stanford University / University of Hong Kong / Imperial College / University of Copenhagen / University of Glasgow / University of Edinburgh / Hakubi Center / Oregon State University / Appalachian State University / Chalmers University of Technology / University of Kent / University of Bologna / Aarhus University / University of California / Tohoku University / Princeton University / University of Oregon / Carnegie Mellon University / Mahidol University / VU University / Lee Pike / University of Cambridge / University of Chicago / Max Planck Institute / University of Nottingham / University of Oxford / University of Leicester / Karlsruhe Institute of Technology / Indiana University / Wesleyan University / Tufts University / University of Maryland / University of Buenos Aires / University of Chile / University of Birmingham / University of Pennsylvania / Rochester Institute of Technology / Ghent University / Strathclyde University / Yale University / Seoul National University / /
IndustryTerm
type safe web applications / Web Applications / software development / computing / web-based data analytics / /
OperatingSystem
Fork / NetBSD / /
Organization
Hakubi Center for Advanced Research / University of Leicester / Aarhus University / Rochester Institute of Technology / Seoul National University / University of Maryland / Northeastern University / Nagoya University / Hakubi Center / Macquarie University / Oregon State University / Princeton University / University of Kent / VU University Amsterdam / Wesleyan University / Tohoku University / University of Bologna / Mahidol University / Indiana University / University of Oxford / Strathclyde University / Appalachian State University / University of Chicago / University of Edinburgh / Kyoto University / Carnegie Mellon University / University of California / San Diego / Portland State University / University of Oregon / University of Chile / University of Pennsylvania / Max Planck Institute for Software Systems / Ghent University / Northwestern University / University of Buenos Aires / University of New South Wales / University of Glasgow / Tufts University / Imperial College / Chalmers University of Technology / Yale University / University of Birmingham / Heriot Watt University / Department of Computer Science / University of Cambridge / University of Nottingham / Tallinn University of Technology / Stanford University / University of Strathclyde / University of Hong Kong / University of Copenhagen / /
Person
Mitchell Wand / Tobias Nipkow / Francois Pottier / Richard A. Eisenberg / Daniel Licata / Trevor Elliott / Andreas Rossberg / Daniel Hedin / Don Syme / Robby Findler / Paul Hudak / Clemens Grabmayer / David Walker / Alexander Filippov / Kazunori Hoshi / Nicholas Matsakis / Pablo Barenbaum / Louis Brandy / Chung-Kil Hur / Martin Erwig / Alejandro Russo / Georg Neis / Simon Peyton Jones / Thomas Williams / Graham Hutton / Johan Jeuring / Larry Diehl / Akinori Abe / John Reppy / David Scott / Stephanie Weirich / Paul Downen / Alexey Romanov / Tom Ridge / Jan Rochel / Annabel Satin / Lars Bergstrom / Takashi Sato / Michael Greenberg / Yan Chen / Derek Dreyer / Eric L. Seidel / Pierre-Evariste Dagand / Jon Purdy / Kathleen Fisher / Kwok Cheung / Felix Klock / Norman Ramsey / Takayuki Muranushi / Peter Sewell / Ken Friis / Nada Amin / Gabriel Scherer / Jeremy Gibbons / Lars Noschinski / Amit Levy / Shinji Nozaki / Thomas Gazagnaire / Anton Ekblad / Robert Bruce Findler / Michael Norrish / Andrew Lumsdaine / David Terei / Patrick Bahr / Simon Peyton-Jones / Scott Owens / Eijiro Sumii / Jennifer Hackett / Suresh Jagannathan (Purdue) / Alexander Slesarenko / Simon Marlow / Viktor Vafeiadis / Jonathan Coens / Anil Madhavapeddy / Leo White / Dominic Orchard / Patricia Johann / Matthew Fluet / Dominic P. Mulligan / Jan-Oliver Kaiser / Matthew Le / Zena M. Ariola / Robert Harper / Joachim Breitner / Duncan Coutts / Felipe Ba˜nados Schwerter / Matthew Roberts / David Van Horn / Andrei Sabelfeld / Nora Sandler / Filip Sieczkowski / Nicolas Wu / Tasuku Makabe / Paul Stansifer / Richard Mortier / John Launchbury / Michael Sperber / Jonathan Protzenko / Thomas Braibant (Cryptosense) / Atsushi Ohori / Yuki Ito / James Bielman / Frank Piessens / Robert Stewart / Tim Sheard / Ronald Garcia / Jacques Garrigue / Ralf Hinze / David Mazieres / Daniel Schoepe / Manuel Chakravarty / Neel Krishnaswami / Stevan Andjelkovic / Kathryn E. Gray / Dan Ghica / Alan Mycroft / Niki Vazou / Tony Sloane / Ranjit Jhala / Lars Birkedal / Dmitriy Traytel / Tomas Petricek / Daniel Winograd-Cort / Sam Tobin-Hochstadt / Patrick Maier / Phil Trinder / Tom Schrijvers / Carter Schonwald / Jasmin Christian Blanchette / Lars Hupel / Dominique Devriese / Cole Schlesinger / /
Contents Table of contents Room Page