Legality of Cannabis by U.S. Jurisdiction

Jeremy G. Siek

Jeremy G. Siek

Professor of Computer Science, Indiana University
Verified email at indiana.edu
Cited by 6377
Programming Languages Semantics Type Systems Gradual Typing High Performance Computing
Max S. New

Max S. New

Assistant Professor, University of Michigan
Verified email at umich.edu
Cited by 528
programming language semantics gradual typing type theory category theory
Phúc C. Nguyễn

Phúc C. Nguyễn

University of Maryland
Verified email at cs.umd.edu
Cited by 263
programming languages verification static analysis meta-programming gradual typing
Jack Williams

Jack Williams

Microsoft Research
Verified email at microsoft.com
Cited by 215
type systems gradual typing AI for code end-user programming data science
Felipe Bañados Schwerter

Felipe Bañados Schwerter

University of Alberta
Verified email at acm.org
Cited by 202
Programming Languages Gradual Typing Type Theory
Fabian Muehlboeck

Fabian Muehlboeck

Lecturer, Australian National University
Verified email at anu.edu.au
Cited by 153
Programming Language Design Type Systems Gradual Typing
Ambrose Bonnaire-Sergeant

Ambrose Bonnaire-Sergeant

Computer Science PhD Candidate, Indiana University Bloomington
Verified email at indiana.edu
Cited by 56
Gradual typing
Zeina Migeed

Zeina Migeed

UCLA
Verified email at cs.ucla.edu
Cited by 42
Programing languages Gradual typing Type Theory
Damián Arquez

Damián Arquez

Universidad de Chile
Verified email at ug.uchile.cl
Cited by 6
Programming Languages Gradual Typing Differential Privacy
Blessing Emedolu

Blessing Emedolu

M.Sc Student, University of Jos
Verified email at unijos.edu.ng
Cited by 3
Machine Learning Software Development Programming Languages Gradual Typing