Profiles

Philip Wadler

University of Edinburgh and IOHK/IOG

Verified email at inf.ed.ac.uk

Cited by 27737

Programming Languages Type Systems Functional Programming

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania

Verified email at cis.upenn.edu

Cited by 24055

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

Greg Morrisett

Dean and Professor, Cornell University

Verified email at cornell.edu

Cited by 11754

programming languages security semantics type systems type theory

Jeremy G. Siek

Professor of Computer Science, Indiana University

Verified email at indiana.edu

Cited by 6384

Programming Languages Semantics Type Systems Gradual Typing High Performance Computing

Michael Schwartzbach

Professor of Computer Science, Aarhus University

Verified email at cs.au.dk

Cited by 6283

Computer Science Programming Languages Static Analysis Type Systems

Derek Dreyer

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

Verified email at mpi-sws.org

Cited by 6036

Programming languages type systems semantics verification

Gavin Bierman

Oracle

Verified email at oracle.com

Cited by 5471

Programming languages type systems database query languages big data Java

Mark P. Jones

Professor of Computer Science, Portland State University

Verified email at pdx.edu

Cited by 5457

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

Vasco T. Vasconcelos

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

Verified email at di.fc.ul.pt

Cited by 5454

Programming Languages Type Systems Software Verification Concurrency Theory

Stephanie Weirich

Professor of Computer Science, University of Pennsylvania

Verified email at cis.upenn.edu

Cited by 5074

Programming Languages Functional programming Type Systems Dependent types Generic programming

1 - 10