Dependent types and multi-monadic effects in F

8 years 7 months ago

Nikhil Swamy, Catalin Hritcu, Chantal Keller, Asee

POPL 2016 | Programming Languages |

claim paper

Added	09 Apr 2016
Updated	09 Apr 2016
Type	Journal
Year	2016
Where	POPL
Authors	Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean Karim Zinzindohoue, Santiago Zanella Béguelin

Comments (0)