ECOOP 2015 (series) / STOP 2015 (series) /
STOP 2015 Program
This is the STOP 2015 program - see the full program for ECOOP 2015 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 6 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:05 - 10:50 | |||
10:05 45mTalk | MyPy, an Optionally-Typed Python STOP Jukka Lehtosalo Dropbox |
10:50 - 11:35 | |||
10:50 45mTalk | Experiments with Strengthening JavaScript STOP Andreas Rossberg Google |
11:35 - 12:20 | |||
11:35 45mTalk | Flow: a static type checker for JavaScript STOP Link to publication |
13:50 - 14:35 | |||
13:50 45mTalk | JavaScript in the Small STOP |
14:40 - 15:40 | |||
14:40 20mTalk | A Light-Weight Effect System for JavaScript STOP File Attached | ||
15:00 20mTalk | Adding Practical Dependent Types to Typed Racket STOP File Attached | ||
15:20 20mTalk | Contracts for Async Patterns in JavaScript STOP File Attached |
16:10 - 17:10 | |||
16:10 20mTalk | Position Paper: Performance Evaluation for Gradual Typing STOP A: Asumu Takikawa Northeastern University, A: Daniel Feltey Northeastern University, A: Ben Greenman Northeastern University, A: Max S. New , A: Jan Vitek Northeastern University, A: Matthias Felleisen Northeastern University Media Attached | ||
16:30 20mTalk | Towards Absolutely Efficient Gradually Typed Languages STOP A: Andre Kuhlenschmidt Indiana University, A: Deyaaeldeen Almahallawi Indiana University, A: Jeremy G. Siek Indiana University File Attached | ||
16:50 20mTalk | Towards a Static Type Checker for Python STOP A: Francisco Ortin University of Oviedo, A: Baltasar García Perez-Schofield , A: José Manuel Redondo López University of Oviedo File Attached |
17:10 - 19:00 | |||
17:10 1h50mTalk | Types for an Untyped World STOP S: Matthias Felleisen Northeastern University, S: Gilad Bracha Google, M: Jan Vitek Northeastern University |