Dependent types and multi-monadic effects in F

N Swamy, C Hriţcu, C Keller, A Rastogi… - Proceedings of the 43rd …, 2016 - dl.acm.org
We present a new, completely redesigned, version of F*, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …
被引用次数：463 相关文章
[PDF] delignat-lavaud.fr

[PDF][PDF] Dependent Types and Multi-monadic Effects in F

N Swamy, C Hritcu, C Keller, A Rastogi… - antoine.delignat-lavaud.fr
We present a new, completely redesigned, version of F⋆, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …
[PDF] archive.org

[PDF][PDF] Dependent Types and Multi-monadic Effects in F

N Swamy, C Hritcu, C Keller, A Rastogi… - scholar.archive.org
We present a new, completely redesigned, version of F⋆, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …
[PDF] microsoft.com

[PDF][PDF] Dependent Types and Multi-Monadic Effects in F

N Swamy, C Hritcu, C Keller, A Rastogi… - microsoft.com
We present a new, completely redesigned, version of F⋆, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …

Dependent Types and Multi-Monadic Effects in F

N Swamy, C Hriţcu, C Keller, A Rastogi… - 43rd ACM SIGPLAN …, 2016 - inria.hal.science
We present a new, completely redesigned, version of F*, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …
[PDF] umd.edu

[PDF][PDF] Dependent Types and Multi-Monadic Effects in F

N Swamy, C Hritcu, C Keller, A Rastogi… - cs.umd.edu
We present a new, completely redesigned, version of F⋆, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …

Dependent types and multi-monadic effects in F

N Swamy, C Hriţcu, C Keller, A Rastogi… - ACM SIGPLAN …, 2016 - dl.acm.org
We present a new, completely redesigned, version of F*, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …

Dependent Types and Multi-Monadic Effects in F

N Swamy, C Hriţcu, C Keller, A Rastogi… - 43rd ACM SIGPLAN …, 2016 - hal.science
We present a new, completely redesigned, version of F*, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …
[PDF] univ-amu.fr

[PDF][PDF] Dependent Types and Multi-monadic Effects in F

N Swamy, C Hritcu, C Keller, A Rastogi… - i2m.univ-amu.fr
We present a new, completely redesigned, version of F⋆, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …

Dependent types and multi-monadic effects in F

N Swamy, C Hritcu, C Keller, A Rastogi… - 43rd Annual ACM …, 2016 - research.ed.ac.uk
We present a new, completely redesigned, version of F*, a language that works both as a
proof assistant as well as a general-purpose, verification-oriented, effectful programming …