TEP : Liste des articles/réalisations + répartition

version provisoire du 10/10/13 (matin)

des articles classiques
- An Elementary Affine λ-Calculus with Multithreading and Side Effects. - A. Madet, R. Amadio - TLCA 2011
  http://hal-univ-diderot.archives-ouvertes.fr/docs/00/61/00/12/PDF/ealregpar.pdf
- Fair Cooperative Multithreading- Boudol - CONCUR 2007
  http://www-sop.inria.fr/members/Gerard.Boudol/fcm.pdf
  ==>T. ARNAULT + T. BATARD
  ==>M. DIEN + Y. BISMUTH
- - Completely Subtyping Iso-recursive Types Blackburn, Herbandez, Ligatti, Nachtigal - Technical report:
  http://www.cse.usf.edu/~ligatti/papers/subIsoTR.pdf
- The algebraic lambda-calculus - Vaux - MSCS:
  http://iml.univ-mrs.fr/~vaux/pub/alglam.pdf
  ==>M. HAN
- Liquid Types - Rondon, Kawaguchi, Jhala - PLDI 2008:
  http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf
- Dependent Types for JavaScript - Ravi Chugh, David Herman, Ranjit Jhala
  http://cseweb.ucsd.edu/~rchugh/research/nested/djs.pdf
  ==>A. DELUZE + A. AOUAD
- Linear Dependent Types in a c-b-v scenario - Dal Lago, Petit - PPDP 12:http://www.cs.unibo.it/~dallago/ldtcbv.pdf
  ==>P. COUDERC + I. MEDIAVILLA
- APAL: Classical FÏ‰, orthogonality and symmetric candidates. - Lengrand, Miquel -
  http://www.lix.polytechnique.fr/~lengrand/Work/Reports/APAL2007.pdf
des articles très récents
- ESOP 2013
  - Laziness by need - Stephen Chang
    http://www.ccs.neu.edu/home/stchang/pubs/Chang-ESOP2013.pdf
    ==>N. MELLITI + A. DIALLO
    ==>A. RADID + R. MADIANDE
  - Abstract Refinement Types - Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala
    http://goto.ucsd.edu/~rjhala/liquid/abstract_refinement_types.pdf
    ==>G. ROVEN + R. BESOGNET
  - Constraining Delimited Control with Contracts - Asumu Takikawa, T. Stephen Strickland, Sam Tobin-Hochstadt:
    http://www.ccs.neu.edu/racket/pubs/esop13-tsth.pdf
  - Structural Lock Correlation with Ownership Types - Yi Lu, John Potter, Jingling Xue
    http://www.cse.unsw.edu.au/~jingling/papers/esop13.pdf
    ==>JL. AMITOUSSA MANKOY + B. de FINANCE
  - GADTs Meet Subtyping - Gabriel Scherer, Didier Rémy
    http://gallium.inria.fr/~remy/gadts/Scherer-Remy:gadts-subtyping@ml2012.pdf
  - Automatic Type Inference for Amortised Heap-Space Analysis - Martin Hofmann, Dulma Rodriguez
    http://www2.tcs.ifi.lmu.de/~rodrigue/files/esop13_hof_rod.pdf
- FOSSAC 2013
  - Type-Based Complexity Analysis for Concurrent Programs - Emmanuel Hainry, Jean-Yves Marion and Romain Péchoux:
    hal.inria.fr/hal-00755450/PS/fork.ps
    ==>J. XIA + M. BARR
- ICFP 2013
  - Type-Theory In Color - Jean-Philippe Bernardy, Guilhem Moulin
    http://www.cse.chalmers.se/~bernardy/CCCC.pdf
  - Typed Syntactic Meta-programming - Dominique Devriese and Frank Piessens
    https://lirias.kuleuven.be/bitstream/123456789/404549/1/icfp002-devriese-authorversion.pdf
    ==>D. DEVRIESSE + B. DUVEROY
  - Programming with Permissions in Mezzo - Francois Pottier, Jonathan Protzenko
    http://gallium.inria.fr/~fpottier/publis/pottier-protzenko-mezzo.pdf
    ==>R. KEUNEN + N. LEBRUMENT
- JFLA 2013
  - Anti-Unification with Type Classes - Nicolas Tabareau, Éric Tanter et Ismael Figueroa
    http://www.emn.fr/z-info/ntabareau/papers/JFLA2013.pdf
    ==>M. BAKER + L. BOULILA
- PLDI 2013
  - Reconciling Exhaustive Pattern Matching with Objects - Chinawat Isradisaikul, Andrew C. Myers
    http://www.cs.cornell.edu/andru/papers/jmatch3/pldi13.pdf
    ==>I. TARIQUI + A. NASSER EL DINE
    ==>M. KNOERTZER + V. MARCHAL
- POPL 2013
  - Abstraction and invariance for algebraically indexed types - R. Atkey, P. Johann, A. Kennedy
  - Static and dynamic semantics of NoSQL languages. V. Benzaken, G. Castagna, K. Nguyen, J. Siméon
    www.pps.univ-paris-diderot.fr/~gc/papers/nosql.pdf
    ==>D. LECOCONIER + A. MOTTIER
    ==>S. KHAN + L. SELEUCUS
- OOPSLA/SPLASH 2013
  - Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations - Vlad Ureche, Christian Talau, Martin Odersky
    http://infoscience.epfl.ch/record/188060/files/miniboxing-oopsla.pdf
    ==>J. SHU + MD. DIANE
    ==>M. BAICHE + M. NETI
  - Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization - Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky
    http://lampwww.epfl.ch/~hmiller/files/oopsla-pickling.pdf
    ==>C. CHASLES + M. KHAU
  - Option Contracts - Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
    http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf
    ==>J. FABRY + R. NITHOO
réalisations
- une application Web ou une applet/application d'évaluation de λ-calcul avec représentation graphique
  - avec OBrowser ou js_of_ocaml
  - F#
  - en Scala
  ==> V. BOTBOL + M. CHAILLOUX : langage à préciser
- une application Web ou une applet/application d'évaluation de lambda-calcul avec la représentation Alligator Eggs
  - avec OBrowser ou js_of_ocaml
  - F#
  - en Scala
- 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
  - avec OBrowser ou js_of_ocaml
  - F#
  - en Scala
  ==>M. BAH + M. SOUARE : langage à préciser
- une application Web ou une applet/application de typage d'un mini-ML fonctionnel et impératif
  - avec OBrowser ou js_of_ocaml
  - F#
  - en Scala
  ==>SIBOT + DJAMAH : langage à préciser
- une application de simulation d'algorithmes de résolution de la surcharge pour un mini-java (langage libre)
- une application de simulation de l'inférence de types du polymorphisme borné des génériques pour un mini java (langage libre)
Si vous voulez proposer d'autres langages fonctionnels pour l'implantation de votre réalisation, comme Haskell, vous pouvez le demander à votre chargé de cours

Ce document a été traduit de L^AT_EX par H^EV^EA