version provisoire du 9.10.19

Articles (16)

• conference on Programming Language Design and Implementation (PDLI 2019) : https://pldi19.sigplan.org/
  • A TYped, Algebric Approach to Parsing
    N. Krishnaswami, J. Yallop - University of Cambridge
    https://www.cl.cam.ac.uk/~nk480/parsing.pdf
    ABOU_HAIDAR-JEAN_BAPTISTE
  • Bidirectional Type Checking for Relational Properties
    E. Cicek, G. Barthe, D. Garg, W. Qu, M. Gaobardi
    https://people.mpi-sws.org/~dg/papers/pldi2019.pdf
  • Data-Trace Types for Distributed Stream Processing Systems PLDI Research Papers
    K. Mamouras, R. ALur, V. Tanne, C. Stanford, Z. Ives (Upenn)
    https://www.seas.upenn.edu/~castan/doc/2019/PLDI19.pdf
    HONGXING-HUANG
  • Toward Efficient Gradual Typing for Structural Types via Coercions
    Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek
    https://akuhlens.github.io/paper/pldi19.pdf
    GUO-LI
  • Type-Level Computations for Ruby Libraries
    Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn
    https://arxiv.org/pdf/1904.03521.pdf
    ALAOUI - ZAOUZAOU
• Symposium on Principles of Programming Languages (POPL 2019) : https://popl18.sigplan.org/
  • (2019) Abstracting Extensible Data Types; Or, Rows By Any Other Name
    J. Garrett Morris, James McKinna
    http://ittc.ku.edu/~garrett/pubs/morris-popl2019-rows.pdf
  • (2019) Live Functional Programming with Typed Holes
    Cyrus Omar, Ian Voysey, Ravi Chugh, Matthew Hammer
    https://arxiv.org/pdf/1805.00155.pdf
    BAUDIN-PESIN
  • Type-Guided Worst-Case Input Generation
    Di Wang, Jan Hoffmann
    https://www.cs.cmu.edu/~diw3/papers/WangH18.pdf
    GERDAY-SRENG
• International Conference on Functional Programming (ICFP 2019) https://icfp19.sigplan.org/home
  • Selective Applicative Functors
    Andrey MokhovNewcastle University, UK, Georgy LukyanovNewcastle University, UK, Simon MarlowFacebook, Jeremie DiminoJane Street Europe
    https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf
  • Coherence of Type Class Resolution
    Gert-Jan BottuKU Leuven, Ningning XieThe University of Hong Kong, Klara MardirosianKU Leuven, Tom SchrijversKU Leuven
    https://xnning.github.io/papers/coherence-class.pdf
  • From high-level inference algorithms to efficient code
    Rajan WaliaIndiana University, Praveen NarayananIndiana University, USA, Jacques CaretteMcMaster University, Sam Tobin-HochstadtIndiana University, Chung-chieh ShanIndiana University, USA
    version longue : https://www.cas.mcmaster.ca/~carette/publications/icfp19main-p105.pdf
  • An Efficient Algorithm for Type-Safe Structural Diffing
    Victor Cacciari MiraldoUtrecht University, Netherlands, Wouter SwierstraUtrecht University, Netherlands
    http://victorcmiraldo.github.io/data/icfp2019.pdf
    BOUCHERAINE-BOUTOUGOUMAS
  • A right-to-left type system for value recursion
    Alban ReynaudENS Lyon, Gabriel SchererINRIA Saclay, Jeremy YallopUniversity of Cambridge, UK
    http://gallium.inria.fr/~scherer/drafts/letrec.pdf
    

• SPLASH-OPPSLA 2019
  • Refinement Kinds: Type-safe Programming with Practical Type-level Computation
    Luís CairesUniversidade Nova de Lisboa and NOVA LINCS, Bernardo Toninho - Universidade Nova de Lisboa and NOVA LINCS
    https://arxiv.org/pdf/1908.00441.pdf

• PPDP 2019
  • Functional programming with lambda-tree syntax ,
    Ulysse Gérard, Dale Miller and Gabriel Scherer, PPDP 2019.
    https://arxiv.org/pdf/1908.03619.pdf
    CHARIF-ZAVIEL
• JFLA 2019
  • Unboxing Mutually Recursive Type Definitions in OCaml ,
    Simon Colin, Rodolphe Lepigre and Gabriel Scherer, JFLA 2019
    https://arxiv.org/pdf/1811.02300.pdf
    AMICHI-EYRAUD

Réalisations (3)

• 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 (https://ocaml.org/meetings/ocaml/2014/ocaml2014_14.pdf) ; langage d’implantation à déterminer.
  BELAROUCI - CHERIF
• 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 Let et schémas de types pour le polymorphisme paramétrique) ; langage d’implantation à déterminer.
• une extension objet avec sous-typage structurel (pour le typeur) dans un mini-ML

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