ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Mon 6 Jul 2015 16:50 - 17:10 at Moravia III - Gradual Typing

We present the preliminary stage of stypy, a static type checker for Python. stypy translates each Python program into Python code that type-checks the original program. The generated code replaces each variable with a type variable, evaluating expression types instead of their values. The generated type checker detects many type errors in tricky Python idioms, and ensures termination.

Towards a Static Type Checker for Python (ortin-v2.pdf)114KiB

Mon 6 Jul
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:10 - 17:10: Gradual TypingSTOP at Moravia III
16:10 - 16:30
Talk
STOP
A: Asumu TakikawaNortheastern University, A: Daniel FelteyNortheastern University, A: Ben GreenmanNortheastern University, A: Max New, A: Jan VitekNortheastern University, A: Matthias FelleisenNortheastern University
Media Attached
16:30 - 16:50
Talk
STOP
A: Andre KuhlenschmidtIndiana University, A: Deyaaeldeen AlmahallawiIndiana University, A: Jeremy G. SiekIndiana University
File Attached
16:50 - 17:10
Talk
STOP
A: Francisco OrtinUniversity of Oviedo, A: Baltasar García Perez-Schofield, A: José Manuel RedondoUniversity of Oviedo
File Attached