• 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
    
    
  • - 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
    
    
  • Liquid Types - Rondon, Kawaguchi, Jhala - PLDI 2008:
    http://goto.ucsd.edu/~rjhala/papers/liquid_types.pdf
    
    
  • Linear Dependent Types in a c-b-v scenario - Dal Lago, Petit - PPDP 12:http://www.cs.unibo.it/~dallago/ldtcbv.pdf
    
    
  • 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
      
      
    • Abstract Refinement Types - Niki Vazou, Patrick Maxim Rondon, Ranjit Jhala
      http://goto.ucsd.edu/~rjhala/liquid/abstract_refinement_types.pdf
      
      
    • 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
      
      
    • 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
    
    
    
  • 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
    • Programming with Permissions in Mezzo - Francois Pottier, Jonathan Protzenko
      http://gallium.inria.fr/~fpottier/publis/pottier-protzenko-mezzo.pdf
    
    
    
  • JFLA 2013
    • Anti-Unification with Type Classes - Nicolas Tabareau, Éric Tanter et Ismael Figueroa
      http://www.emn.fr/z-info/ntabareau/papers/JFLA2013.pdf
    
    
    
  • PLDI 2013
    • Reconciling Exhaustive Pattern Matching with Objects - Chinawat Isradisaikul, Andrew C. Myers
      http://www.cs.cornell.edu/andru/papers/jmatch3/pldi13.pdf
    
    
    
  • 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
    
    
    
  • 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
      
      
    • 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
      
      
    • Option Contracts - Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
      http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf
  
  
  
• 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
    
    
    
  • 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
    
    
    
  • 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
    
    
    
  • 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