8h30-10h30 : 46-0 103
----------

Dependent Types for JavaScript 
Aouad + Deluze 

GADTs Meet Subtyping 
Besognet + Roven

Typed Syntactic Meta-programming 
Devriesse + Duvernoy

une application Web ou une applet/application d'évaluation de λ-calcul
avec représentation graphique avec js_of_ocaml
Botbol + Chailloux

Option Contracts 
Fabry + Nithoo

Instant Pickles: Generating Object-Oriented Pickler Combinators for
Fast and Extensible Serialization
Chasles + Khau 


10h45-13h25 : 41 202 (salle TA)
-----------

Laziness by need 
Diallo + Melliti

Laziness by need 
Madiande + Radid

Anti-Unification with Type Classes 
Baker + Boulila 

11h45

Reconciling Exhaustive Pattern Matching with Objects
Nasser El Dine + Tariqui

Reconciling Exhaustive Pattern Matching with Objects
Knoertzer + Marchal

une application Web ou une applet/application d'évaluation de
lambda-calcul avec la représentation Alligator Eggs en Scala
Barbier

12h45

Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric
Polymorphism Translations -
Diane + Shu

Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric
Polymorphism Translations -
Baiche + Neti

Automatic Type Inference for Amortised Heap-Space Analysis
Diakhate + Xia 

??
Djamah + Sibot 


10h45-13h25 : 41 209 (salle Mac)
-----------

The algebraic lambda-calculus
Barry + Han 

Fair Cooperative Multithreading
Arnault+Batard

Fair Cooperative Multithreading
Bismuth + Dien

11h45

Linear Dependent Types in a c-b-v scenario
Couderc + Mediavilla

Structural Lock Correlation with Ownership Types
Mankoy + de Finance

une application Web ou une applet/application de vérification d'un
type pour un lambda-terme (lambda-calcul simplement typé) avec
construction de l'arbre de preuve
Bah + Souare

12h45

Programming with Permissions in Mezzo
Lebrument + Keunen

Abstraction and invariance for algebraically indexed types
Lecoconier + Mottier

Abstraction and invariance for algebraically indexed types
Khan + Seleucus