Liste des projets : en cours de construction (10/11)

Choix d'un sujet

• articles et documentations
  • pour programmeurs surchargés :
    • Implementing Haskell Overloading (citeseer)
    • Type Checking Higher-Order Polymorphic Multi-Methods (voir citeseer)
  • pour programmeurs d'aspects
    • Aspectual Caml: an Aspect-Oriented Functional Language (voir citeseer) Boukhelif Yahia - Ikhteah || Agbodjan - Ponin
  • pour programmeur de liaisons :
    • alphacaml : papier en PDF et site de l'outil. Bocande - Huygues des etages
    • FreshML: Programming with Binders Made Simple (voir site) illustration avec Fresh Objective Caml User Manual Buffard - Cavadas
  • pour programmeur syntaxiques :
    • analyseurs LR typés : papier workshop ML en PDF et systeme menhir
  • pour programmeurs sérialisés :
    • Typer la serialisation sans serialiser les types (PDF) et site pour le prototype Léocadie - Ravet || Lopes
  • pour programmeur à la page :
    • un papier de ICFP 2006
      • From Structures and Functors to Modules and Units. Owens-Flatt (cf lien)
      • The Missing Link - Dynamic Components for ML - Rossberg (lien)
      • Static analysis for syntax objects - Fisher - Shivers (cf lien)
  • pour programmeurs Web :
    • Ocsigen: Typing web interaction with Objective Caml (lien) Delubria - Sandiktsioglou || Nguyeni Hong Diep || Pham
    • Hop, a language for programming the Web 2.0 (lien) Blin - Mbinack Yem || Guemair - Oulebsir || Baudry - Le
• tests d'environnements
  • pour les fanas d'Eclipse : test et portage du plugin O'Caml pour Eclipse 3.2.1 Cence - Jay
  • Pour les fanas de Xul, portage du PSTL O'XUL sur la derniere version de Firefox. Chen
  • pour les mondes virtuels :
    • test de la version Linux de Scol et developpement d'une mini-application. Mougenot
• réalisations
  • pour l'élégance du lambda-calcul pur
    • Applets pour la reduction en lambda-calcul (langage libre) He - Zhou (Java) || Dworak - Ulrich (.NET) || Riby (Java) || Mercier - Fortune
    • Applet d'évaluation des lambda-termes utilisant ocamil (téléchargeable comme un composant .NET) Minot - Semczyk || bardoux
  • pour programmeurs pédagogues : concevoir
    • une applet de vérification d'un type pour un lambda-terme (lambda-calcul simplement typé) Nizou - Vallet (.NET)
    • une applet de typage d'un mini-ML fonctionnel et impératif (en Java ou avec ocamil ou en interoperant Java-caml avec Ojacare) Ben Aissi - Chakroun (Java)
    • pour programmeurs interop?rant :
      • étude de caml-gmp et amélioration de sa gestion mémoire pour évter les fuites mémoire. Wang