G. M. Bierman

Available identifiers

zbMath Open bierman.gavin-mWikidataQ102304253 ScholiaQ102304253MaRDI QIDQ1575876

List of research outcomes

Publication	Date of Publication	Type
Separation logic and abstraction	2017-07-14	Paper
Safe & Efficient Gradual Typing for TypeScript	2016-09-29	Paper
Semantic subtyping with an SMT solver	2015-03-05	Paper
Separation logic, abstraction and inheritance	2014-09-12	Paper
Gradual typing embedded securely in JavaScript	2014-04-10	Paper
Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion	2013-05-10	Paper
Semantic subtyping with an SMT solver	2012-09-21	Paper
Extending relational algebra with similarities	2012-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q3024825	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4461801	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q2777490	2002-03-07	Paper
On an intuitionistic modal logic	2000-12-19	Paper
Program equivalence in a linear functional language	2000-09-04	Paper
A classical linear \(\lambda\)-calculus	2000-08-23	Paper
Computational types from a logical perspective	1999-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4218109	1999-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q4222823	1998-12-13	Paper
A note on full intuitionistic linear logic	1996-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4283230	1996-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4281466	1994-04-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: G. M. Bierman