POPL 2018

January 10, 2018 – January 12, 2018

Microsoft Research @ POPL 2018

位置: Los Angeles, CA, USA

出版物

表示方法:

- Linear Haskell: practical linearity in a higher-order polymorphic language
  
  Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication Publication DOI
- Recalling a Witness: Foundations and Applications of Monotonic State
  
  Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication プロジェクト

- Linear Haskell: practical linearity in a higher-order polymorphic language
  
  Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication Publication DOI
- Recalling a Witness: Foundations and Applications of Monotonic State
  
  Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication プロジェクト
- Recalling a Witness: Foundations and Applications of Monotonic State
  
  Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication プロジェクト

- Linear Haskell: practical linearity in a higher-order polymorphic language
  
  Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication Publication DOI
- Recalling a Witness: Foundations and Applications of Monotonic State
  
  Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
  
  Principles of Programming Languages 2018 (POPL 2018) | January 2018
  
  Publication プロジェクト