programming language code

2021年8月22日 – 2021年8月27日

Microsoft at ICFP 2021

地点： Virtual

论文与出版物

查看方式：

- Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic
  
  Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
  
  26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021) | August 2021
  
  Publication
- Catala: A Programming Language for the Law
  
  Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
  
  ICFP 2021 | July 2021
  
  Publication
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
  
  Ningning Xie, Daan Leijen
  
  MSR-TR-2021-5 | March 2021
  
  作者：Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication 项目

- Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic
  
  Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
  
  26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021) | August 2021
  
  Publication
- Catala: A Programming Language for the Law
  
  Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
  
  ICFP 2021 | July 2021
  
  Publication
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
  
  Ningning Xie, Daan Leijen
  
  MSR-TR-2021-5 | March 2021
  
  作者：Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication 项目

- Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic
  
  Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro
  
  26th ACM SIGPLAN International Conference on Functional Programming (ICFP 2021) | August 2021
  
  Publication
- Catala: A Programming Language for the Law
  
  Denis Merigoux, Nicolas Chataing, Jonathan Protzenko
  
  ICFP 2021 | July 2021
  
  Publication
- Generalized Evidence Passing for Effect Handlers (or, Efficient Compilation of Effect Handlers to C) (Extended Version)
  
  Ningning Xie, Daan Leijen
  
  MSR-TR-2021-5 | March 2021
  
  作者：Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication 项目