Greg Morrisett

Available identifiers

zbMath Open morrisett.gregDBLPm/JGMorrisettWikidataQ5606035 ScholiaQ5606035MaRDI QIDQ617975

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5015212	2021-12-06	Paper
Intensional polymorphism in type-erasure semantics	2019-09-26	Paper
Bidirectional grammars for machine-code decoding and encoding	2019-09-16	Paper
Bidirectional grammars for machine-code decoding and encoding	2018-03-01	Paper
Intensional polymorphism in type-erasure semantics	2017-08-21	Paper
Principals in programming languages, a syntactic proof technique	2016-09-01	Paper
An application of computable distributions to the semantics of probabilistic programming languages	2016-04-26	Paper
Polymorphism and separation in Hoare type theory	2015-08-03	Paper
Toward a verified relational database management system	2015-06-11	Paper
Ynot: dependent types for imperative programs	2015-03-16	Paper
Monadic regions	2015-03-09	Paper
Effective interactive proofs for higher-order imperative programs	2015-01-06	Paper
A step-indexed model of substructural state	2015-01-06	Paper
Trace-based verification of imperative programs with I/O	2011-01-14	Paper
Mechanized verification with sharing	2010-08-31	Paper
Hoare type theory, polymorphism and separation	2008-12-18	Paper
A Realizability Model for Impredicative Hoare Type Theory	2008-04-11	Paper
Abstract Predicates and Mutable ADTs in Hoare Type Theory	2007-09-04	Paper
\(L^3\): a linear language with locations	2007-07-20	Paper
Programming Languages and Systems	2007-05-02	Paper
Monadic regions	2006-08-28	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4738341	2004-08-11	Paper
Compiling for template-based run-time code generation	2003-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4532093	2002-05-28	Paper
Stack-based typed assembly language	2002-04-17	Paper
Intensional polymorphism in type-erasure semantics	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2729060	2001-11-06	Paper
Semantics of memory management for polymorphic languages	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4222944	1999-01-06	Paper

Research outcomes over time

This page was built for person: Greg Morrisett