Felipe Bañados Schwerter
Scholar

Felipe Bañados Schwerter

Google Scholar ID: l_PN_-0AAAAJ
University of Alberta
Programming LanguagesGradual TypingType Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
96
 
H-index
5
 
i10-index
4
 
Publications
11
 
Co-authors
4
list available
Contact
Emailbanadoss@ualberta.caGitHubOpen ↗
Resume
Academic Achievements
  • Google Scholar Profile
Background
  • Research interests include Programming Languages, Type Systems, Gradual Typing, Abstract Interpretation, Formal Verification, Human Computer Interaction, Provenance, Social Aspects of Computing, (Human) Language Revitalization, Underdocumented and endangered (Human) Languages, and the application of formalisms to practical human-oriented systems.
Miscellany
  • Contact: banadossATualberta.ca, fbanados
Co-authors
2 total
Ronald Garcia
Ronald Garcia
University of British Columbia
Romain Robbes
Romain Robbes
CNRS Senior Scientist, LaBRI, Université de Bordeaux