個人資料

David MacQueen

Professor Emeritus of Computer Science, University of Chicago

在 cs.uchicago.edu 的電子郵件地址已通過驗證

被引用 9507 次

programming languages semantics types modules

William R. Cook

Associate Professor of Computer Science, University of Texas at Austin

在 cs.utexas.edu 的電子郵件地址已通過驗證

被引用 8090 次

Programming Languages Modeling Objects Types

Mitchell Wand

Professor of Computer Science, Northeastern University

在 ccs.neu.edu 的電子郵件地址已通過驗證

被引用 7952 次

programming languages semantics types

Karen A Franck

New Jersey Institute of Technology

在 njit.edu 的電子郵件地址已通過驗證

被引用 4320 次

memorials public space types

Peter Thiemann

Professor of Computer Science, University of Freiburg

在 informatik.uni-Freiburg.de 的電子郵件地址已通過驗證

被引用 4203 次

programming languages static analysis types language-based security

François Pottier

Inria Paris

在 inria.fr 的電子郵件地址已通過驗證

被引用 3741 次

programming languages types program verification

Andrew Kennedy

Facebook London

在 fb.com 的電子郵件地址已通過驗證

被引用 2587 次

Programming languages Types Compilers Semantics Formal verification

Vincent van Oostrom

在 javakade.nl 的電子郵件地址已通過驗證

被引用 2152 次

applied logic theoretical computer science rewriting lambda calculus types

Claudio Russo

Microsoft Research Ltd

在 microsoft.com 的電子郵件地址已通過驗證

被引用 1277 次

programming languages types objects concurrency parallelism

Wontae Choi

Google Inc.

在 google.com 的電子郵件地址已通過驗證

被引用 808 次

Types Static Analysis Testing

1 - 10