Jeremy G. Siek

Jeremy G. Siek

Professor of Computer Science, Indiana University
E-mail confirmado em indiana.edu
Citado por 6524
Programming Languages Semantics Type Systems Gradual Typing High Performance Computing
Max S. New

Max S. New

Assistant Professor, University of Michigan
E-mail confirmado em umich.edu
Citado por 558
programming language semantics gradual typing type theory category theory
Phúc C. Nguyễn

Phúc C. Nguyễn

University of Maryland
E-mail confirmado em cs.umd.edu
Citado por 277
programming languages verification static analysis meta-programming gradual typing
Felipe Bañados Schwerter

Felipe Bañados Schwerter

University of Alberta
E-mail confirmado em acm.org
Citado por 209
Programming Languages Gradual Typing Type Theory
Fabian Muehlboeck

Fabian Muehlboeck

Lecturer, Australian National University
E-mail confirmado em anu.edu.au
Citado por 161
Programming Language Design Type Systems Gradual Typing
Ambrose Bonnaire-Sergeant

Ambrose Bonnaire-Sergeant

Computer Science PhD Candidate, Indiana University Bloomington
E-mail confirmado em indiana.edu
Citado por 60
Gradual typing
Damián Arquez

Damián Arquez

Universidad de Chile
E-mail confirmado em ug.uchile.cl
Citado por 9
Programming Languages Gradual Typing Differential Privacy
Blessing Emedolu

Blessing Emedolu

M.Sc Student, University of Jos
E-mail confirmado em unijos.edu.ng
Citado por 3
Machine Learning Software Development Programming Languages Gradual Typing