Articles (25)

• conference on Programming Language Design and Implementation (PDLI 2016) :
  • Polymorphic Type Inference for Machine Code,
    Matt Noonan, Alexey Loginov, David Cok
    https://arxiv.org/abs/1603.05495
    
  • Refinement Types for TypeScript,
    Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala
    http://goto.ucsd.edu/~pvekris/docs/pldi16.pdf
    ⇒DIOUM - SIVANATHAN
  • Just-in-Time Static Type Checking for Dynamic Languages,
    Brianna M. Ren, Jeffrey S. Foster
    https://www.cs.umd.edu/~jfoster/papers/pldi16.pdf
    ⇒ CADEVALL - NOUIRA
  • Types from data: Making structured data first-class citizens in F#,
    Tomas Petricek, Don Syme, Gustavo Guerra
    https://arxiv.org/abs/1605.02941
    ⇒ ASHRAF - NAZANGA
• Symposium on Principles of Programming Languages (POPL 2016) :
  • Sound Type-dependent Syntactic Language Extension,
    Florian Lorenzen, Sebastian Erdweg
    http://www.informatik.uni-marburg.de/~seba/publications/soundx-popl16.pdf
  • Transforming Spreadsheet Data Types using Examples,
    Rishabh Singh, Sumit Gulwani
    http://people.csail.mit.edu/rishabh/papers/popl16-semantic.pdf
    ⇒ BERREFAS - MAHAMAT
  • Principal Type Inference for GADTs
    Sheng Chen, Martin Erwig
    ⇒ ISSA SAIDOU - NAIMA
  • Abstracting Gradual Typing,
    Ronald Garcia, Alison M. Clark, Éric Tanter
    http://pleiad.dcc.uchile.cl/papers/2016/garciaAl-popl2016.pdf
  • The Gradualizer: a methodology and algorithm for generating gradual type systems,
    Matteo Cimini, Jeremy Siek
    http://dl.acm.org/citation.cfm?id=2837632
    ⇒ANTUNES DA SILVA - NEDJARI
  • Is Sound Gradual Typing Dead?
    Asumu Takikawa, Daniel Feltey, Ben Greenman, Max New, Jan Vitek, Matthias Felleisen
    http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf
    ⇒HALIFA-TRAN
  • Symbolic Abstract Data Type Inference
    Michael Emmi, Constantin Enea
    https://www.irif.fr/~cenea/popl2016.pdf
    ⇒ABDULSAMAD - MURUGANATHAN
• European Symposium on Programming (ESOP 2016) :
  • Christopher Schuster, Tim Disney and Cormac Flanagan.
    Macrofication: refactoring by reverse macro expansion
    https://users.soe.ucsc.edu/~cormac/papers/16esop.pdf
    ⇒ REZGUI - T’FEILL
  • Richard A. Eisenberg, Stephanie Weirich and Hamidhasan Ahmed.
    Visible type application
    https://www.seas.upenn.edu/~sweirich/papers/type-app-extended.pdf version étendue
• conference on Systems, Programming, Languages and Applications: Software for Humanity (OOPSLA/SPLASH 2016) :
  • Type Inference for Static Compilation of JavaScript,
    Satish Chandra, Colin Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-il Choi
    https://arxiv.org/abs/1608.07261
    ⇒ BERTRAND - KREBS
  • Type Soundness for Dependent Object Types,
    Tiark Rompf, Nada Amin
    http://lampwww.epfl.ch/~amin/drafts/dot_oopsla16.pdf
    ⇒ METGY - SOURI
  • A Practical Framework for Type Inference Error Explanation,
    Calvin Loncaric, Satish Chandra, Manu Sridharan, Cole Schlesinger
    https://homes.cs.washington.edu/~loncaric/research/mycroft-preprint.pdf
    ⇒CHAWKI - WAHBI
  • Java and Scala’s Type Systems are Unsound: The Existential Crisis of Null Pointers,
    Nada Amin, Ross Tate
    https://raw.githubusercontent.com/namin/unsound/master/doc/unsound-oopsla16.pdf
    ⇒ DOUMOULAKIS - RETAIL
• International Conference on Functional Programming (ICFP 2016) : https://github.com/gasche/icfp2016-papers
  • A Type Theory for Incremental Computational Complexity with Control Flow Changes
    Ezgi Cicek, Zoe Paraskevopoulou, Deepak Garg
  • Compact Bit Encoding Schemes for Simply-Typed Lambda-Terms
    Kotaro Takeda, Naoki Kobayashi, Kazuya Yaguchi, Ayumi Shinohara
    ⇒ BERTRANDE BALANDA - NAKAGAWA
  • Dynamic Witnesses for Static Type Errors
    Eric Seidel, Ranjit Jhala, Westley Weimer
    ⇒HICHRI - KEICHA
  • Ghostbuster: A Tool for Simplifying and Converting GADTs
    Trevor McDonell, Timothy Zakian, Matteo Cimini, Ryan Newton
  • Oh Lord, Please Don’t Let Contracts Be Misunderstood: A Variation on Old Gems (Functional Pearl)
    Christos Dimoulas, Max New, Robby Findler, Matthias Felleisen
    ⇒HIVERT - MERCADIER
  • Set-Theoretic Types for Polymorphic Variants
    Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
  • Talking Bananas: Structural Recursion for Session Types
    Sam Lindley, J. Garrett Morris
  • Context-Free Session Types
    Peter Thiemann, Vasco Vasconcelos

Réalisations (5 * 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
  • en utilisant ocaml (js_of_ocaml)
    ⇒FEDDY
    
  • ou en Haskell ⇒ BOUZY
    
• 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’etrique).
  • en OCaml (avec js_of_ocaml)
  • avec Swift ou Haskell
• une application Web, ou une applet, de typage d’un mini-ML fonctionnel et impératif
  • en utilisant Scala
  • ou Swift
• 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 traiter du sous-typage structurel avec polymorphisme de rangés
• 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

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

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