version du samedi 6/11 - apres-midi


De 8h30 à 12h30 en amphi Astier 
de 12H30 à 13h soit en amphji Astier, soit en 41-313
de 13h30 à 15h en 41-313

8h30 - 8h45
BOUTABAA - ABOU HAYDAR
Efficient Local Type Inference

8h45-9h
DEHAIS
Coloring, a Versatile Technique for Implementing Object Oriented Languages

9h-9h15
FETTOUM - ZERROUKI
Self Type Constructors

9h15-9h30
CHAMOREAU - EMIRI
Constrained Types for Object-Oriented Languages

9h30-9h45
CUPSA - DAYRES
Generics of a Higher Kind

--
mini-break 
--

10h-10h15
DUFOUR
Java Type Inference Is Broken: Can We Fix It?

10h15-10h30
GIBERT - RETY
Adding Type Constructor Parameterization to Java

10h30-10h45
HOUZIAUX - ZAMAN
The Visitor Pattern as a Reusable, Generic, Type-Safe Component

10h45-11h
PICHOT - LUU
Contracts for Higher-Order Functions

--
mini break
--

11h15-11h30
POTDEVIN - VAUGON 
 une application de simulation d'algorithmes de
 résolution de la surcharge pour un mini-java en O'Caml avec
 compilation Zam

11h30-11h45
BIGOT- SREKELY
XML et typage, la proposition OCamlDuce

11h45-12h
BENSMAINE - DIOUF
Macaque: interrogation sûre et flexible de base de données depuis OCaml

12h-12h15
BERKANE - OUNNARE
Experience Report: Ocsigen, a Web Programming Framework

12h15-12h30
DUPPERON - RIGNAULT
une applet d'évaluation des lambda-termes utilisant O'Browser

--
a partir de 12h30 nous serons soit en amphi ASTIER soit en 41-313
--

12h30-12h45
CHAU
Whiteoak: Introducing Structural Typing into Java

12h45-13h
LAI - RABEHANTA
Whiteoak: Introducing Structural Typing into Java

--
BREAK
on reprend dans tous les cas en 41-313
--

13h30-13h45
L. WANG - Z. WANG
Profile-Guided Static Typing for Dynamic Scripting Languages 


13h45-14h
BROGGI - KAGHAT
Let Should Not Be Generalised

--
mini break 
--

14h15-14h30
K. WANG
 une application Web ou une applet de vérification d'un type
 pour un lambda-terme (lambda-calcul simplement typé) en C#


14h30-14h45
BAZZI - MILOJEVIC
Safer Unsafe Code for .NET

14h45-15h
BESSUGES - SUZUKI
Generics of a Higher Kind