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
2018年1月10日 -
2018年1月12日
Microsoft Research @ POPL 2018
地点： Los Angeles, CA, USA
论文与出版物
按年份分类的论文与出版物
-
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
按研究领域分类的论文与出版物
-
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
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
-
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
按类型分类的论文与出版物
-
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
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