Greg Morrisett
From MaRDI portal
Person:617975
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Type classes for lightweight substructural types | 2021-12-06 | Paper |
| Intensional polymorphism in type-erasure semantics Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Bidirectional grammars for machine-code decoding and encoding Lecture Notes in Computer Science | 2019-09-16 | Paper |
| Bidirectional grammars for machine-code decoding and encoding Journal of Automated Reasoning | 2018-03-01 | Paper |
| Intensional polymorphism in type-erasure semantics Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Principals in programming languages, a syntactic proof technique Proceedings of the fourth ACM SIGPLAN international conference on Functional programming | 2016-09-01 | Paper |
| An application of computable distributions to the semantics of probabilistic programming languages Programming Languages and Systems | 2016-04-26 | Paper |
| Polymorphism and separation in Hoare type theory Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| Toward a verified relational database management system Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Ynot: dependent types for imperative programs Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Monadic regions Proceedings of the ninth ACM SIGPLAN international conference on Functional programming | 2015-03-09 | Paper |
| Effective interactive proofs for higher-order imperative programs Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| A step-indexed model of substructural state Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Trace-based verification of imperative programs with I/O Journal of Symbolic Computation | 2011-01-14 | Paper |
| Mechanized verification with sharing Lecture Notes in Computer Science | 2010-08-31 | Paper |
| Hoare type theory, polymorphism and separation Journal of Functional Programming | 2008-12-18 | Paper |
| A Realizability Model for Impredicative Hoare Type Theory Programming Languages and Systems | 2008-04-11 | Paper |
| Abstract Predicates and Mutable ADTs in Hoare Type Theory Programming Languages and Systems | 2007-09-04 | Paper |
| \(L^3\): a linear language with locations | 2007-07-20 | Paper |
| Programming Languages and Systems Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Monadic regions Journal of Functional Programming | 2006-08-28 | Paper |
| Typed Lambda Calculi and Applications Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 2087533 (Why is no real title available?) | 2004-08-11 | Paper |
| Compiling for template-based run-time code generation Journal of Functional Programming | 2003-01-01 | Paper |
| scientific article; zbMATH DE number 1746459 (Why is no real title available?) | 2002-05-28 | Paper |
| Stack-based typed assembly language Journal of Functional Programming | 2002-04-17 | Paper |
| Intensional polymorphism in type-erasure semantics Journal of Functional Programming | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1629948 (Why is no real title available?) | 2001-11-06 | Paper |
| Semantics of memory management for polymorphic languages | 2001-07-08 | Paper |
| scientific article; zbMATH DE number 1231621 (Why is no real title available?) | 1999-01-06 | Paper |
Research outcomes over time
This page was built for person: Greg Morrisett
