( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstract Predicates and Mutable ADTs in Hoare Type Theory.

, , , и . ESOP, том 4421 из Lecture Notes in Computer Science, стр. 189-204. Springer, (2007)

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.

Greg Breinholt

Greg Little

Greg Ross

Greg Kiss

Greg Foderaro

 

Другие публикации лиц с тем же именем

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