( en | de | ru )

 

Disambiguierung von "Morrisett, Greg"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Safety and Security for Intelligent Infrastructure.

, , , , , , und . CoRR, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Greg Breinholt

Greg Little

Greg Ross

Greg Kiss

Greg Foderaro

 

Weitere Publikationen von Autoren mit dem selben Namen

Dependent Type Theory of Stateful Higher-Order Functions, und . TR-24-05. Harvard University, Cambridge, MA, USA, (Januar 2005)A Language-Based Approach to Security, , und . Lecture Notes in Computer Science, (2001)Integrating Types and Specifications for Secure Software Development.. MMM-ACNS, Volume 6258 von Lecture Notes in Computer Science, Seite 32-35. Springer, (2010)An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 337-363. Springer, (2016)Ilea: inter-language analysis across java and c., und . OOPSLA, Seite 39-56. ACM, (2007)08061 Executive Summary -- Types, Logics and Semantics for State., , , und . Types, Logics and Semantics for State, Volume 08061 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)08061 Abstracts Collection -- Types, Logics and Semantics for State., , , und . Types, Logics and Semantics for State, Volume 08061 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)A step-indexed model of substructural state., , und . ICFP, Seite 78-91. ACM, (2005)Compiling Markov chain Monte Carlo algorithms for probabilistic modeling., , und . PLDI, Seite 111-125. ACM, (2017)From System F to Typed Assembly Language, , , und . Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, (Januar 1998)