Session 1 : salle 24-34 201


8h30-8h45 : SCALA 17	Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
ARIR+LORIOT

8h45-9h : OOPSLA 17	Fast and Precise Type Checking for JavaScript		
COUASSIBLE+LACAMBRE


9h-9h15 : ICFP17	On Polymorphic Gradual Typing
KOEHLER+PONTI

-- break

9h30-9h45 : POPL17	Big Types in Little Runtime: Open World Soundness and Collaborative Blame for Gradual Type System
BOUTIN+ROBINI

9h45-10h : ICFP17	Gradual Typing with Union and Intersection Types
ISSA SAIDOU

10h-10h15 POPL17	Polymorphism, subtyping and type inference in MLsub
BERKANE+BUNEL


session 2 : salle 14-15 507
 
10h45-11h : OOPSLA 17	A Simple Soundness Proof for Dependent Object Types
KELLEOGLU+MARIE-ROSE

11h-11h15 : ECOOP 17	Strong Normalization for Dependent Object Types (DOT)
FERNANDEZ+SIROTTI

11h15-11h30 : REALISATION application   Web   de   vérification   d’un   type   pour   un   lambda-terme
DELGADO


-- break

11h45-12h : REALISATION typeur mini-ML en Swift 
KASSAR-VERGNOLE

12h-12h15 : ICFP17	Local Refinement Typing
DENIS + FEDY


12h15-12h30 : 15h-15h15 : OOPSLA 17	Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
ESCRIOU+FOUQUER


session 3 : salle 14-15 507
---------

14h-14h15 : POPL17	Java generics are Turing complete
CHEN+LAPORTE

14h15-14h30 : GPCE17 	Staging with Control: Type-Safe Multi-Stage Programming with Control Operators		
BOUGUETOF+ERRAOUI

14h30-14h45 : ECOOP 17	A Co-contextual Type Checker for Featherweight Java
ISHIWATA+NGUYEN

- break

15h-15h15 : ICFP17	Imperative Functional Programs That Explain Their Work		
CHARPIGNON+KRUISSEL

15h15-15h30 : PLDI17	Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking		
GAMAIN+SRIKANTHAN

15h30-15h45 : SLE 17	Type-Safe Modular Parsing
KHEZANE+LABIB