Microsoft at ICFP 2021

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