programming language code

August 22, 2021 – August 27, 2021

Microsoft at ICFP 2021

Location: Virtual

Publications

View by:

- 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
  
  Published by Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication Project

- 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
  
  Published by Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication Project

- 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
  
  Published by Microsoft
  
  v4, 2021-06-07. Extended version of the ICFP'21 paper.
  
  Publication Project