STOP 2015 Contributors

Mon 6 - Fri 10 July 2015 Prague, Czech Republic

co-located with ECOOP 2015

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Amal AhmedAhmed, Amal Northeastern UniversityUnited States Committee Member in Program Committee within the STOP-track
Deyaaeldeen AlmahallawiAlmahallawi, Deyaaeldeen Indiana University Towards Absolutely Efficient Gradually Typed Languages
B Gilad BrachaBracha, Gilad GoogleIsrael Types for an Untyped World
C Satish ChandraChandra, Satish Samsung Research AmericaIndia JavaScript in the Small Speaker in Speakers within the STOP-track
Avik ChaudhuriChaudhuri, Avik FacebookUnited States Flow: a static type checker for JavaScript Speaker in Speakers within the STOP-track Committee Member in Program Committee within the STOP-track
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the STOP-track
D Tim DisneyDisney, Tim Contracts for Async Patterns in JavaScript
F Matthias FelleisenFelleisen, Matthias Northeastern UniversityGermany Types for an Untyped World Position Paper: Performance Evaluation for Gradual Typing
Daniel FelteyFeltey, Daniel Northeastern University Position Paper: Performance Evaluation for Gradual Typing
Cormac FlanaganFlanagan, Cormac UC Santa Cruz Contracts for Async Patterns in JavaScript A Light-Weight Effect System for JavaScript
G Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Program Committee within the STOP-track
Ben GreenmanGreenman, Ben Northeastern University Position Paper: Performance Evaluation for Gradual Typing
K Andrew KentKent, Andrew Indiana UniversityUnited States Adding Practical Dependent Types to Typed Racket
Andre KuhlenschmidtKuhlenschmidt, Andre Indiana University Towards Absolutely Efficient Gradually Typed Languages
L Jukka LehtosaloLehtosalo, Jukka Dropbox MyPy, an Optionally-Typed Python Speaker in Speakers within the STOP-track
N Max S. NewNew, Max S. Position Paper: Performance Evaluation for Gradual Typing
James NobleNoble, James Victoria University of Wellington Committee Member in Program Committee within the STOP-track
O Francisco OrtinOrtin, Francisco University of Oviedo Towards a Static Type Checker for Python
P Baltasar García Perez-SchofieldPerez-Schofield, Baltasar García Towards a Static Type Checker for Python
R José Manuel Redondo LópezRedondo López, José Manuel University of Oviedo Towards a Static Type Checker for Python
Andreas RossbergRossberg, Andreas GoogleGermany Experiments with Strengthening JavaScript Speaker in Speakers within the STOP-track
S Christopher SchusterSchuster, Christopher A Light-Weight Effect System for JavaScript
Ilya SergeySergey, Ilya IMDEA Software InstituteRussia Committee Member in Program Committee within the STOP-track
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Towards Absolutely Efficient Gradually Typed Languages Chair in Program Committee within the STOP-track
T Asumu TakikawaTakikawa, Asumu Northeastern UniversityUnited States Position Paper: Performance Evaluation for Gradual Typing
Éric TanterTanter, Éric University of Chile Committee Member in Program Committee within the STOP-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Adding Practical Dependent Types to Typed Racket
V Jan VitekVitek, Jan Northeastern UniversitySwitzerland Types for an Untyped World Position Paper: Performance Evaluation for Gradual Typing
W Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Program Committee within the STOP-track