• articles sur le typage classés par conférence
  • ESOP 2014 : European Symposium on Programming
    • On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
      http://arxiv.org/pdf/1401.3766v2.pdf
      DEQUEKER - VAROUMAS
      
    • Bounded Linear Types in a Resource Semiring
      http://www.cs.bham.ac.uk/~drg/papers/esop14.pdf
      GASPARD_BARANTES
      
  • FOSSACS 2014 :
    • Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types
      http://www.di.unito.it/~padovani/Papers/LinearReconstructionFull.pdf
      DESPOINTES - LUPINSKI
      
    • Complexity of Model-Checking Call-by-Value Programs
      http://www.kb.is
      MOUILLAC - ZENATI
      
  • ICFP 2014 http://icfpconference.org/icfp2014/ : International Conference on Functional Programming
    • Hindley-Milner Elaboration in Applicative Style
      http://gallium.inria.fr/~fpottier/publis/fpottier-elaboration.pdf
      CANTAIS - CHASSON
      
    • Refinement Types For Haskell
      http://goto.ucsd.edu/~nvazou/refinement_types_for_haskell.pdf
      
  • OOPSLA/SPLASH 2014
    • Rate Types for Stream Programs
      Thomas W. Bartenstein - Yu David Liu
      http://www.cs.binghamton.edu/~davidl/papers/ratetypes.pdf
      LEROUX - MOUNIER
      
    • Foundations of Path-Dependent Types
      Nada Amin - Martin Odersky - Tiark Rompf
      
    • Confined Gradual Typing
      Esteban Allende - Johan Fabry - Ronald Garcia - Éric Tanter
      http://pleiad.dcc.uchile.cl/papers/2014/allendeAl-oopsla2014.pdf
      
    • Refactoring Java Generics by Inferring Wildcards, In Practice
      John Altidor -Yannis Smaragdakis
      cgi.di.uoa.gr/~smaragd/variance-oopsla14.pdf
      BADOUAL - HAREL
      MICHEL - NADARAJAH
      
  • PLDI 2014 http://conferences.inf.ed.ac.uk/pldi2014/ : Program ming Language Design and Implementation
    • First-class Runtime Generation of High-performance Types using Exotypes
      Zachary DeVito, Daniel Ritchie, Matt Fisher, Alex Aiken, Pat Hanrahan (Stanford University)
      http://theory.stanford.edu/~aiken/publications/papers/pldi14b.pdf
      SALL
      PIGEOT - VIDAL
      
    • Getting F-Bounded Polymorphism into Shape
      Ben Greenman, Fabian Muehlboeck, Ross Tate (Cornell University)
      http://www.cs.cornell.edu/~blg59/resources/doc/effing-bound-polymorphism.pdf
      
    • Optimal Inference of Fields in Row-Polymorphic Records
      Axel Simon (Technische Universitat Munchen)
      http://www2.in.tum.de/bib/files/simon14optimal.pdf
      KASSAS - PEYROT
      
  • POPL 2014
    • Profiling For Laziness
      http://www.ccs.neu.edu/home/stchang/pubs/Chang-Felleisen-POPL2014.pdf
      BAENA - DIAGNE
      DAHAB - STOLZE
      
    • Closed Type Families with Overlapping Equations
      //research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/popl137-eisenberg.pdf
      PERUCKI - ROUX
      
    • Gradual Typing Embedded Securely in JavaScript
      http://research.microsoft.com/en-us/um/people/nswamy/papers/gradual-typing-embedded-securely-in-javascript-draft.pdf
      FITOUSSI - REICHERT
      
    • Counter-Factual Typing for Debugging Type Errors
      http://web.engr.oregonstate.edu/~erwig/papers/CF-Typing_POPL14.pdf
      AKCHA - BIDANE
      CUI - FAZOUANE
      
• réalisations
  • 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
    • en OCaml avec js_of_ocaml
    • avec Swift
      
  • une application Web ou une applet de typage d’un mini-ML fonctionnel et impératif
    • en utilisant ocaml (js_of_ocaml)
    • ou swift
      
    CARRE - ZIAT
    
  • une extension objet avec sous-typage structurel (pour le typeur) dans un mini-ML : langage libre
    • ocaml, F#, Scala, Haskell, Swift
    il pourra avoir des variations, mais ce sera globalement pour du polymorphisme de rangées
  • une application de simulation de l’inférence de types du polymorphisme borné des génériques pour un mini java (langage libre)
    • ocaml, F#, Scala, Haskell, Swift
  • Compilation d’un langage à la ML vers du λ-calcul (langage d’implantation ocaml).
    BEGAY - RAKOTONIRA
    

  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