Profiller

Philip Wadler

University of Edinburgh and IOHK/IOG

inf.ed.ac.uk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 27999

Programming Languages Type Systems Functional Programming

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania

cis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 24417

Programming languages type systems security and privacy functional programming formal specification and verification

Greg Morrisett

Dean and Professor, Cornell University

cornell.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 11852

programming languages security semantics type systems type theory

Jeremy G. Siek

Professor of Computer Science, Indiana University

indiana.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 6524

Programming Languages Semantics Type Systems Gradual Typing High Performance Computing

Michael Schwartzbach

Professor of Computer Science, Aarhus University

cs.au.dk üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 6315

Computer Science Programming Languages Static Analysis Type Systems

Derek Dreyer

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus

mpi-sws.org üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 6286

Programming languages type systems semantics verification

Vasco T. Vasconcelos

LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa

di.fc.ul.pt üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5577

Programming Languages Type Systems Software Verification Concurrency Theory

Gavin Bierman

Oracle

oracle.com üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5535

Programming languages type systems database query languages big data Java

Mark P. Jones

Professor of Computer Science, Portland State University

pdx.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5490

Programming languages Type systems Functional programming Low-level programming High-assurance software and systems

Stephanie Weirich

Professor of Computer Science, University of Pennsylvania

cis.upenn.edu üzerinde doğrulanmış e-posta adresine sahip

Alıntılanma sayısı: 5141

Programming Languages Functional programming Type Systems Dependent types Generic programming

1 - 10