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
January 10, 2018 -
January 12, 2018
Microsoft Research @ POPL 2018
Lieu: Los Angeles, CA, USA
Publications
Publications
Publications par année
-
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
Filtre par zone de recherche
-
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
Publication Type
-
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