Legality of Cannabis by U.S. Jurisdiction

Philip Wadler

Philip Wadler

University of Edinburgh and IOHK/IOG
Verified email at inf.ed.ac.uk
Cited by 27636
Programming Languages Type Systems Functional Programming
Benjamin C. Pierce

Benjamin C. Pierce

Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu
Cited by 24032
Programming languages type systems security and privacy functional programming formal specification and verification
Greg Morrisett

Greg Morrisett

Dean and Professor, Cornell University
Verified email at cornell.edu
Cited by 11787
programming languages security semantics type systems type theory
Jeremy G. Siek

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

Michael Schwartzbach

Professor of Computer Science, Aarhus University
Verified email at cs.au.dk
Cited by 6296
Computer Science Programming Languages Static Analysis Type Systems
Derek Dreyer

Derek Dreyer

Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verified email at mpi-sws.org
Cited by 6021
Programming languages type systems semantics verification
Gavin Bierman

Gavin Bierman

Oracle
Verified email at oracle.com
Cited by 5465
Programming languages type systems database query languages big data Java
Vasco T. Vasconcelos

Vasco T. Vasconcelos

LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at di.fc.ul.pt
Cited by 5422
Programming Languages Type Systems Software Verification Concurrency Theory
Mark P. Jones

Mark P. Jones

Professor of Computer Science, Portland State University
Verified email at pdx.edu
Cited by 5402
Programming languages Type systems Functional programming Low-level programming High-assurance software and systems
Valeria de Paiva

Valeria de Paiva

University of Birmingham
Verified email at topos.institute
Cited by 5080
Category Theory Proof Theory Type Systems Categorical logic Semantics of Natural languages
1 - 10