( en | de | ru )

 

Disambiguation of "Morrisett, Greg"

Author of the publication

copydeleteadd this publication to your clipboard
A Language-Based Approach to Security

, , and . Lecture Notes in Computer Science, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Greg Breinholt

Greg Little

Greg Ross

Greg Kiss

Greg Foderaro

 

Other publications of authors with the same name

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