Joseph Redmon

Joseph Redmon

University of Washington
在 cs.washington.edu 的电子邮件经过验证
被引用次数：110769
Type Theory Computer Vision Machine Learning
Frank Pfenning

Frank Pfenning

Professor of Computer Science, Carnegie Mellon University
在 cs.cmu.edu 的电子邮件经过验证
被引用次数：17478
Programming Languages Logic Type Theory Automated Deduction Computer Security
Greg Morrisett

Greg Morrisett

Dean and Professor, Cornell University
在 cornell.edu 的电子邮件经过验证
被引用次数：11787
programming languages security semantics type systems type theory
Steve Zdancewic

Steve Zdancewic

Professor of Computer and Information Science, University of Pennsylvania
在 cis.upenn.edu 的电子邮件经过验证
被引用次数：9919
Programming Languages Type Theory Logic Computer Security
Jean-Pierre Jouannaud

Jean-Pierre Jouannaud

LSV, École Normale Supérieure de Paris-Saclay
在 lix.polytechnique.fr 的电子邮件经过验证
被引用次数：9622
Rewriting Symbolic constraints Type Theory
Paris C. Kanellakis 1953-1995

Paris C. Kanellakis 1953-1995

Professor of Computer Science, Brown University
在 cmu.edu 的电子邮件经过验证
被引用次数：9360
Database Theory Fault-Tolerant Distributed Computation Type Theory
Andrew M Pitts

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge
在 cl.cam.ac.uk 的电子邮件经过验证
被引用次数：7878
type theory category theory nominal techniques programming language semantics logic in computer
Giuseppe Castagna

Giuseppe Castagna

Directeur de Recherche CNRS, Université Paris Cité
在 irif.fr 的电子邮件经过验证
被引用次数：5750
Theoretical Computer Science Programming Languages Concurrency Theory Type Theory Functional Programming
Karl Crary

Karl Crary

Carnegie Mellon University
在 cs.cmu.edu 的电子邮件经过验证
被引用次数：4881
Programming languages Logic Type theory
Thorsten Altenkirch

Thorsten Altenkirch

Professor of Computer Science, University of Nottingham
在 cs.nott.ac.uk 的电子邮件经过验证
被引用次数：4719
Type Theory Category Theory Functional Programming
1 - 10