Benjamin C. Pierce

Available identifiers

zbMath Open pierce.benjamin-cWikidataQ4888368 ScholiaQ4888368MaRDI QIDQ879362

List of research outcomes

Publication	Date of Publication	Type
Decoding choice encodings	2023-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q6099631	2023-06-20	Paper
The meaning of memory safety	2019-09-16	Paper
A bisimulation for type abstraction and recursion	2017-07-14	Paper
Combinators for bi-directional tree transformations	2017-07-14	Paper
A bisimulation for dynamic sealing	2015-11-11	Paper
Foundational Property-Based Testing	2015-09-14	Paper
Edit lenses	2015-09-11	Paper
Regular expression types for XML	2015-09-11	Paper
Recursive subtyping revealed	2015-09-11	Paper
Contracts made manifest	2015-06-11	Paper
Regular expression pattern matching for XML	2015-03-17	Paper
Quotient lenses	2015-03-16	Paper
Distance makes the types grow stronger	2015-03-05	Paper
Matching lenses	2015-03-05	Paper
Linear dependent types for differential privacy	2014-11-27	Paper
Engineering formal metatheory	2014-09-12	Paper
Boomerang	2014-09-12	Paper
A verified information-flow architecture	2014-04-10	Paper
Symmetric lenses	2014-04-10	Paper
Contracts made manifest	2014-02-27	Paper
Polymorphic Contracts	2011-05-19	Paper
A bisimulation for type abstraction and recursion	2008-12-21	Paper
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data	2008-09-09	Paper
A Formal Investigation of Diff3	2008-04-24	Paper
Exploiting schemas in data synchronization	2007-05-23	Paper
A bisimulation for dynamic sealing	2007-05-11	Paper
Database Programming Languages	2006-10-20	Paper
Database Programming Languages	2006-10-20	Paper
Behavioral equivalence in the polymorphic pi-calculus	2006-09-12	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q5714459	2006-01-02	Paper
Regular expression pattern matching for XML	2005-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4473165	2004-08-04	Paper
TinkerType: a language for playing with formal systems	2004-03-17	Paper
Recursive subtyping revealed	2003-06-23	Paper
Comparing object encodings.	2003-01-14	Paper
Decoding choice encodings	2003-01-14	Paper
Type destructors	2003-01-14	Paper
Foundations for virtual types	2003-01-14	Paper
On inner classes	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q2778806	2002-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4937118	2000-02-03	Paper
Bounded existentials and minimal typing	1998-08-13	Paper
Higher-order subtyping	1998-07-23	Paper
Intersection types and bounded polymorphism	1997-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q3837262	1996-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q3837264	1996-12-08	Paper
Positive subtyping	1996-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q4855344	1996-04-16	Paper
Dynamic typing in polymorphic languages	1995-06-08	Paper
Simple type-theoretic foundations for object-oriented programming	1995-05-04	Paper
Bounded quantification is undecidable	1994-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4281484	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4023244	1993-01-23	Paper
FAITHFUL IDEAL MODELS FOR RECURSIVE POLYMORPHIC TYPES	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3204052	1989-01-01	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: Benjamin C. Pierce