STL - M2 - TEP 2009/2010
Liste des devoirs : en cours de construction au 26/10/2009
italique : demande de sujet
nom en gras : choix validé
Choix d'un sujet
- articles et documentations de logiciels
-
- pour programmeurs modulaires
- A Type System for Recursive Modules (ICFP 2007, PDF)
Claire Droos
- Mixin'up the ML Module System (ICFP 2008, site)
- pour programmeurs exceptionnels
- An Extensible Dynamically-Typed Hierarchy of Exceptions (Workshop Haskell 2006, PDF)
Lionel Joseph & A. Lesaux
- pour héritiers multiples :
- Evaluation de l'efficacité des implémentations de l'héritage multiple en typage statique (LMO 2009, PDF)
Gauthier Pillon & Ryad Jemaa
Pacciani Antoni & France Matthieu
- pour arité variable :
- Practical Variable-Arity Polymorphism (ESOP 2009, PDF)
Pratik Bhavsar & Michel Tuan
Emilie Baudin & henry de Waziers
- pour programmeurs surchargés :
- ML Modules and Haskell Type Classes: A Constructive Comparison (APLAS 2008, PDF)
Vincent Gaudel & Yassamine Seladji
Xuming Zhan & Qi Xu
- pour programmeurs contractants
- Well-typed programs can't be blamed (ESOP 2009, PDF)
Mathurin Petit & Lucas Vassord
- pour programmeurs objets et fonctionnels
- Les modèles classiques de conception objet vus par la programmation ML
(JFLA 2007, PDF)
Yohan Bittan & Frederic Ye
Mohamed Ould Amrouch & Riad Deflaoui
- pour programmeurs objet
- Implementing statically typed object-oriented programming languages. (ACM Computing Surveys lien)
- Raffinement de classes dans les langages à objets statiquement typés. (LMO 2005, PDF)
Junaid Zouaoui & Cyrille Martins
Ekaterina Suetina & Ivan Kornoukov
- pour programmeurs objets
- Towards Open Type Functions for Haskell (IFL 2007, site)
Gaelle Mondat & Ana Todorova
- pour programmeurs hachés
- Perfect hashing as an almost perfect subtype test. (ACM Transactions on Programming Languages and Systems, PDF)
Baptiste Beaupuy-Mouret & Fabien Camier
- pour programmeurs dynamiques
- The Missing Link - Dynamic Components for ML (ICFP 2006, PDF
Yoann Sababady & Elroy Sebaratnam
Samia Makhlouf & Semra Toklu Semra
-
pour programmeurs non déterminés
- (New) Profile-Guided Static Typing for Dynamic Scripting Languages
(OOPSLA 2009, PDF)
Jabeur Farouk & Nezha Maait
- (New) Integration of Typed and Untyped Code using Like Types (POPL 2010, PDF)
Julie Puig & Anthony RAmide
- tests d'environnements et langages
- réalisations (plusieurs autour de Obrowser)
- pour l'élégance du lambda-calcul pur
- Applet d'évaluation des lambda-termes utilisant O'Browser
Yihan Wang.& Fabrice Reynaud en Java
- Applet ou application avec la reprsésentation Alligator Eggs (lien)
Bo Cai & Mickael Zhu en java
Chu Qoc en C++
- pour programmeurs pédagogues : concevoir
- une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) : langages possibles : java ou O'caml (avec O'browser)
Georgi Stavrev et Trung Hoang. en Java
- une applet de typage d'un mini-ML fonctionnel et impératif :
langages possibles : java ou O'caml (avec O'browser)
Rendu
Il est demandé un court rapport clair et concis (moins de 10 pages sans les annexes) présentant la problématique du sujet en guidant le
lecteur par un exemple pertinent. On peut ajouter des annexes à
ce document (en particulier les listings ou des exemples plus complets). Ce
document doit etre rendu AVANT les soutenances.
Evaluation
L'evaluation du projet comprend :
- le rapport du projet et une archive des implantations (note commune au binome)
- une soutenance de 15 minutes par projet (note individuelle)
Les rapports sont à rendre au plus tard le 15/11/2009.
Page maintenue par Emmanuel Chailloux, dernière modification le 26/10/2009