Dependent types and multi-monadic effects in F* 论文

2016引用 288
DOIPDF
Logic, programming, and type systemsSecurity and Verification in ComputingFormal Methods in Verification
网络安全Security and Verification in ComputingLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Dependent types and multi-monadic effects in F* · 作者

S

Santiago Zanella-Béguelin

J

Jean-Karim Zinzindohoué

M

Markulf Kohlweiss

P

Pierre-Yves Strub

C

Cédric Fournet

K

Karthikeyan Bhargavan

S

Simon Forest

A

Antoine Delignat-Lavaud

A

Aseem Rastogi

C

Chantal Keller

C

Cătălin Hriţcu

N

Nikhil Swamy