Greg Morrisett

From MaRDI portal
Person:617975

Available identifiers

zbMath Open morrisett.gregDBLPm/JGMorrisettWikidataQ5606035 ScholiaQ5606035MaRDI QIDQ617975

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50152122021-12-06Paper
Intensional polymorphism in type-erasure semantics2019-09-26Paper
Bidirectional grammars for machine-code decoding and encoding2019-09-16Paper
Bidirectional grammars for machine-code decoding and encoding2018-03-01Paper
Intensional polymorphism in type-erasure semantics2017-08-21Paper
Principals in programming languages, a syntactic proof technique2016-09-01Paper
An application of computable distributions to the semantics of probabilistic programming languages2016-04-26Paper
Polymorphism and separation in Hoare type theory2015-08-03Paper
Toward a verified relational database management system2015-06-11Paper
Ynot: dependent types for imperative programs2015-03-16Paper
Monadic regions2015-03-09Paper
Effective interactive proofs for higher-order imperative programs2015-01-06Paper
A step-indexed model of substructural state2015-01-06Paper
Trace-based verification of imperative programs with I/O2011-01-14Paper
Mechanized verification with sharing2010-08-31Paper
Hoare type theory, polymorphism and separation2008-12-18Paper
A Realizability Model for Impredicative Hoare Type Theory2008-04-11Paper
Abstract Predicates and Mutable ADTs in Hoare Type Theory2007-09-04Paper
\(L^3\): a linear language with locations2007-07-20Paper
Programming Languages and Systems2007-05-02Paper
Monadic regions2006-08-28Paper
Typed Lambda Calculi and Applications2005-11-11Paper
https://portal.mardi4nfdi.de/entity/Q47383412004-08-11Paper
Compiling for template-based run-time code generation2003-01-01Paper
https://portal.mardi4nfdi.de/entity/Q45320932002-05-28Paper
Stack-based typed assembly language2002-04-17Paper
Intensional polymorphism in type-erasure semantics2002-01-01Paper
https://portal.mardi4nfdi.de/entity/Q27290602001-11-06Paper
Semantics of memory management for polymorphic languages2001-07-08Paper
https://portal.mardi4nfdi.de/entity/Q42229441999-01-06Paper

Research outcomes over time

This page was built for person: Greg Morrisett