Chantal Keller und Catalin Hritcu - Info zur Person

(1 - 5 von 5

)

dblp: Santiago Zanella Béguelin

dblp.uni-trier.de

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: Dependent types and multi-monadic effects in …

dblp: Catalin Hritcu

dblp.uni-trier.de

List of computer science publications by Catalin Hritcu

Catalin Hritcu - Publications

catalin-hritcu.github.io

Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Cătălin Alejandro Aguirre, Cătălin Hriţcu, Chantal Keller, and Nikhil Swamy.

Formally Verified Security | Max Planck Institute for ...

www.mpi-sp.org

Dependent Types and Multi-Monadic Effects in F* (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 Zinzindohoué, Santiago Zanella-Béguelin), In 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, …

Dependent Types and Multi-Monadic Effects in F* (bibtex)fstar-lang.org

www.fstar-lang.org

by Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves ...

Alle Infos zum Namen "Chantal Keller"

Verwandte Suchanfragen zu Chantal Keller

Kurt Fuchs
Rolf Brauer
Benjamin Werner

Julia Werner
Dirk Beyer
Hubert Keller

Kathrin Ziegler
Anne-Victoire Magescas
Manuela Setzer

Person "Keller" (90)
Vorname "Chantal" (5125)
Name "Keller" (6010)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z