David MacQueen

David MacQueen

Professor Emeritus of Computer Science, University of Chicago
Zweryfikowany adres z cs.uchicago.edu
Cytowane przez 9605
programming languages semantics types modules
William R. Cook

William R. Cook

Associate Professor of Computer Science, University of Texas at Austin
Zweryfikowany adres z cs.utexas.edu
Cytowane przez 8189
Programming Languages Modeling Objects Types
Mitchell Wand

Mitchell Wand

Professor of Computer Science, Northeastern University
Zweryfikowany adres z ccs.neu.edu
Cytowane przez 8053
programming languages semantics types
Karen A Franck

Karen A Franck

New Jersey Institute of Technology
Zweryfikowany adres z njit.edu
Cytowane przez 4446
memorials public space types
Peter Thiemann

Peter Thiemann

Professor of Computer Science, University of Freiburg
Zweryfikowany adres z informatik.uni-Freiburg.de
Cytowane przez 4295
programming languages static analysis types language-based security
François Pottier

François Pottier

Inria Paris
Zweryfikowany adres z inria.fr
Cytowane przez 3848
programming languages types program verification
Andrew Kennedy

Andrew Kennedy

Facebook London
Zweryfikowany adres z fb.com
Cytowane przez 2637
Programming languages Types Compilers Semantics Formal verification
Vincent van Oostrom

Vincent van Oostrom

Zweryfikowany adres z javakade.nl
Cytowane przez 2208
applied logic theoretical computer science rewriting lambda calculus types
Claudio Russo

Claudio Russo

Microsoft Research Ltd
Zweryfikowany adres z microsoft.com
Cytowane przez 1325
programming languages types objects concurrency parallelism
Wontae Choi

Wontae Choi

Google Inc.
Zweryfikowany adres z google.com
Cytowane przez 827
Types Static Analysis Testing
1 - 10