Dependent types and multi-monadic effects in F.
Nikhil SwamyCatalin HritcuChantal KellerAseem RastogiAntoine Delignat-LavaudSimon ForestKarthikeyan BhargavanCédric FournetPierre-Yves StrubMarkulf KohlweissJean Karim ZinzindohoueSantiago Zanella BéguelinPublished in: POPL (2016)