| 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 |
| Combinators for bi-directional tree transformations | 2017-07-14 | Paper |
| A bisimulation for type abstraction and recursion | 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 |
| Symmetric lenses | 2014-04-10 | Paper |
| A verified information-flow architecture | 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 |
| Foundations for virtual types | 2003-01-14 | Paper |
| Decoding choice encodings | 2003-01-14 | Paper |
| On inner classes | 2003-01-14 | Paper |
| Type destructors | 2003-01-14 | Paper |
| Types and programing languages | 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 |
