Gavin M. Bierman

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
Separation logic and abstraction Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-07-14	Paper
Safe \& efficient gradual typing for TypeScript Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-09-29	Paper
Semantic subtyping with an SMT solver Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Separation logic, abstraction and inheritance Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-09-12	Paper
Gradual typing embedded securely in JavaScript Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion Electronic Notes in Theoretical Computer Science	2013-05-10	Paper
Semantic subtyping with an SMT solver Journal of Functional Programming	2012-09-21	Paper
Extending relational algebra with similarities MSCS. Mathematical Structures in Computer Science	2012-09-06	Paper
scientific article; zbMATH DE number 2185654 (Why is no real title available?)	2005-07-04	Paper
scientific article; zbMATH DE number 2064301 (Why is no real title available?)	2004-05-18	Paper
Strong normalisation of cut-elimination in classical logic Fundamenta Informaticae	2002-03-14	Paper
scientific article; zbMATH DE number 1717357 (Why is no real title available?)	2002-03-07	Paper
On an intuitionistic modal logic Studia Logica	2000-12-19	Paper
Program equivalence in a linear functional language Journal of Functional Programming	2000-09-04	Paper
A classical linear \(\lambda\)-calculus Theoretical Computer Science	2000-08-23	Paper
Computational types from a logical perspective Journal of Functional Programming	1999-05-18	Paper
scientific article; zbMATH DE number 1222571 (Why is no real title available?)	1999-03-02	Paper
scientific article; zbMATH DE number 1231511 (Why is no real title available?)	1998-12-13	Paper
A note on full intuitionistic linear logic Annals of Pure and Applied Logic	1996-07-23	Paper
scientific article; zbMATH DE number 515728 (Why is no real title available?)	1996-07-01	Paper
scientific article; zbMATH DE number 512773 (Why is no real title available?)	1994-04-07	Paper

Research outcomes over time

This page was built for person: Gavin M. Bierman