Andrew M Pitts

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge
在 cl.cam.ac.uk 的電子郵件地址已通過驗證
被引用 8003 次
type theory category theory nominal techniques programming language semantics logic in computer
Thomas Sewell

Thomas Sewell

Senior Research Associate, Cambridge University
在 cam.ac.uk 的電子郵件地址已通過驗證
被引用 4441 次
software verification theorem proving programming language semantics
James Andrews

James Andrews

Google, Inc.
在 google.com 的電子郵件地址已通過驗證
被引用 3888 次
Programming language semantics Software testing Software engineering
Florence Maraninchi

Florence Maraninchi

Professor, Grenoble INP / Ensimag & Verimag Lab
在 imag.fr 的電子郵件地址已通過驗證
被引用 2903 次
embedded systems synchronous languages programming language semantics hardware/software interface modeling and simulation
Adrian Francalanza

Adrian Francalanza

University of Malta
在 um.edu.mt 的電子郵件地址已通過驗證
被引用 2573 次
Static and Runtime Verification Concurrency Programming Language Semantics
Aleš Bizjak

Aleš Bizjak

Formerly postdoctoral researcher, Aarhus University, currently software architect at …
在 alesb.com 的電子郵件地址已通過驗證
被引用 1224 次
programming language semantics program logics concurrency topology type theory
David Sabel

David Sabel

Professor Hochschule RheinMain
在 hs-rm.de 的電子郵件地址已通過驗證
被引用 665 次
Programming Language Semantics Functional Programming Automated Deduction Rewriting Artificial
Max S. New

Max S. New

Assistant Professor, University of Michigan
在 umich.edu 的電子郵件地址已通過驗證
被引用 574 次
programming language semantics gradual typing type theory category theory
Jérémie Koenig

Jérémie Koenig

Postdoctoral Associate, Yale University
在 yale.edu 的電子郵件地址已通過驗證
被引用 493 次
programming language semantics formal methods
Carsten Führmann

Carsten Führmann

Interflex Datensysteme GmbH
在 allegion.com 的電子郵件地址已通過驗證
被引用 284 次
Programming language semantics category theory structural proof theory.
1 - 10