Aseem Rastogi und Cédric Fournet - Info zur Person

(1 - 6 von 6

)

The Complete Guide to SCION: From Design Principles to ...google.com

books.google.com

... Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, and Santiago Zanella Béguelin.

Alle Infos zum Namen "Aseem Rastogi"

Safe & Efficient Gradual Typing for TypeScript Aseem Rastogi...

slideplayer.com

Safe & Efficient Gradual Typing for TypeScript Aseem Rastogi University of Maryland, College Park Nikhil Swamy Cédric Fournet Gavin Bierman Panagiotis.

Catalin Hritcu - MPI-SP

catalin-hritcu.github.io

Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Pierre-Yves Strub, Aseem Rastogi, Antoine Delignat-Lavaud, Karthikeyan Bhargavan, and Cédric Fournet.

Panagiotis Vekris

goto.ucsd.edu

Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin Bierman, Panagiotis Vekris. Towards Verifying Android Apps for the Absence of No-Sleep Energy Bugs ...

Publications – MSR-IMDEASW Joint Research Center

software.imdea.org

Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, and Gavin M. Bierman. Gradual typing embedded ...

Dependent Types and Multi-Monadic Effects in F* (bibtex)

www.fstar-lang.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 ...

Verwandte Suchanfragen zu Aseem Rastogi

Chantal Keller
Gavin Bierman

Personen
Vorname "Aseem" (39)
Name "Rastogi" (386)

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