version provisoire du 13.10.18 avec répartition

Articles (27)

• conference on Programming Language Design and Implementation (PDLI 2018) : https://conf.researchr.org/home/pldi-2018
  • Guarded Impredicative Polymorphism
    Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios Vytiniotis Simon Peyton Jones
    https://www.microsoft.com/en-us/research/wp-content/uploads/2017/07/impredicative-Jul17.pdf
  • (SVP) Typed Closure Conversion for the Calculus of Constructions
    William J. BowmanNortheastern University, USA, Amal Ahmed
    http://www.ccs.neu.edu/home/amal/papers/closconvcc.pdf
    
  • Inferring Type Rules for Syntactic Sugar
    Justin Pombrio, Shriram Krishnamurthi
    https://cs.brown.edu/people/sk/Publications/Papers/Published/pk-resuarging-types/paper.pdf
    CHARTON-RUDAT
• Symposium on Principles of Programming Languages (POPL 2018) : https://popl18.sigplan.org/
  • Towards Automatic Resource Bound Analysis for OCaml
    Jan Hoffmann, Ankush Das, Shu-Chun Weng
    http://www.cs.cmu.edu/~janh/papers/HoffmannW15.pdf
    CHOUTEAU-FEKIR

  • Linear Haskell: practical linearity in a higher-order polymorphic language
    Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
    https://hal.archives-ouvertes.fr/hal-01673536
    AIACH + CHOUGUI
  • Migrating Gradual Types
    John Peter Campora, Sheng Chen, Martin Erwig, Eric Walkingshaw
    http://web.engr.oregonstate.edu/\%7Ewalkiner/papers/popl18-migrating-gradual-types.pdf
    DRAME-SAFRAOU
  • Intrinsically-Typed Definitional Interpreters for Imperative Languages
    Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser
    http://casperbp.net/store/intrinsicallytyped.pdf
  • A Principled approach to Ornamentation in ML
    Thomas Williams, Didier Rémy
    papier long 70p : http://pauillac.inria.fr/~remy/ornaments/mlorn-2017-09.pdf

  • Parametricity versus the Universal Type
    Dominique Devriese, Marco Patrignani, Frank Piessens
    https://people.mpi-sws.org/\%7Emarcopat/marcopat/Publications_files/poly-seal-no.pdf
    LOUAHDI
  • Up-to Techniques Using Sized Types
    Nils Anders Danielsson,
    http://www.cse.chalmers.se/~nad/publications/danielsson-up-to-using-sized-types.pdf
• International Conference on Functional Programming (ICFP 2018) https://icfp18.sigplan.org/home
  • A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs
    Guillaume AllaisRadboud, Robert Atkey, James Chapman, Conor McBride, James McKinna
    https://bentnib.org/binding-universe.pdf

  • Static Interpretation of Higher-Order Modules in Futhark: Functional GPU Programming in the Large
    Martin Elsman, Troels Henriksen, Danil Annenkov, Cosmin Oancea
    https://futhark-lang.org/publications/icfp18.pdf

  • A Spectrum of Type Soundness and Performance
    Ben Greenman, Matthias Felleisen
    https://www2.ccs.neu.edu/racket/pubs/icfp18-gf.pdf
• European Conference on Oriented-Object Programmaing (ECOOP 2018 : https://2018.ecoop.org/)

  • Typed First-Class Traits
    Xuan BiThe, Bruno C. d. S. Oliveira
    http://drops.dagstuhl.de/opus/volltexte/2018/9214/pdf/LIPIcs-ECOOP-2018-9.pdf
    COPIN-SERGEANT
  • Safe Transferable Regions
    Gowtham Kaki, G. Ramalingam
    http://drops.dagstuhl.de/opus/volltexte/2018/9216/pdf/LIPIcs-ECOOP-2018-11.pdf
    JEUDY-TA
  • KafKa: Gradual Typing for Objects
    Benjamin W Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
    https://hal.inria.fr/hal-01882148/document
    AMOUZOU-FARES DJAMAA
  • Dependent Types for Class-based Mutable Objects
    Joana Campos, Vasco T. Vasconcelos
    la thèse correspondante : http://repositorio.ul.pt/bitstream/10451/34562/1/ulsd731967_td_Joana_Campos.pdf
  • Static typing of complex presence constraints in interfaces
    Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter
    http://drops.dagstuhl.de/opus/volltexte/2018/9219/pdf/LIPIcs-ECOOP-2018-14.pdf
    GHERSA-THEIRY
  • Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization
    Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franze
    http://drops.dagstuhl.de/opus/volltexte/2018/9221/pdf/LIPIcs-ECOOP-2018-16.pdf
    SABRIE-ULLIAC
  • FHJ: A Formal Model for Hierarchical Dispatching and Overriding
    Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto
    http://drops.dagstuhl.de/opus/volltexte/2018/9225/pdf/LIPIcs-ECOOP-2018-20.pdf
    DUPAS-LIN
• European Symposium of Programming (ESOP : https://www.etaps.org/index.php/2018/esop)
  • (SVP) Failure is Not an Option: An Exceptional Type Theory
    Pierre-Marie Pédrot, nicolas tabareau.
    https://hal.inria.fr/hal-01840643/document
  • Consistent Subtyping for All
    Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira
    http://i.cs.hku.hk/~bruno/papers/gradual-esop18.pdf
  • Session-Typed Concurrent Contracts
    Hannah Gommerstadt, Limin Jia, Frank Pfenning
    http://anyag.net/papers/esop_paper.pdf
• SPLASH-OPPSLA 2018
  • Collapsible Contracts: Fixing a Pathology of Gradual Typing
    Daniel Feltey, Ben Greenman, Christophe Scholliers, Robby Findler, Vincent St-Amour
    http://www.eecs.northwestern.edu/~robby/pubs/papers/oopsla2018-fgsfs.pdf
    GREVOZ-HEBIRI
  • Empowering Union and Intersection Types with Integrated Subtyping
    Fabian Muehlboeck, Ross Tate
    http://www.cs.cornell.edu/~ross/publications/empower/empower-oopsla18.pdf
  • Gradual Liquid Type Inference
    Niki Vazou, Eric Tanter, David Van Horn
    https://nikivazou.github.io/static/pldi18/main.pdf
    MOUHRI-NGOYI
  • Julia Subtyping: a Rational Reconstruction
    Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, Jan Vitek
    https://hal.inria.fr/hal-01882137/document
    DIALLO-ZHANG

Réalisations (2)

• une application Web, ou une application, d’inférence de types nullables suivant le système de types proposé dans les articles : OCAML Workshop 2014 ou JFLA 2015 résumé étendu
  BUSSCHAERT-DOUSSOT
• une extension de typeur du mini-ML en ajoutant des unités dans le typeur comme décrit dans l’article : Des unités dans le typeur des JFLA 2017 (http://www.math.nagoya-u.ac.jp/ garrigue/papers/ocamldim.pdf)

Si vous voulez proposer d’autres langages fonctionnels pour l’implantation de votre réalisation, comme Haskell, vous pouvez le demander à l’équipe enseignante.

Si vous voulez proposer d’autres réalisations, de préférence issues d’un article, contacter un membre de l’équipe pédagogique.

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