| Publication | Date of Publication | Type |
|---|
| Optimal implementation of quantum gates with two controls | 2024-05-17 | Paper |
| Comparing flow-based binding-time analyses | 2022-08-18 | Paper |
| Breaking through the normalization barrier: a self-interpreter for F-omega | 2016-10-24 | Paper |
| Self-representation in Girard's System U | 2016-09-29 | Paper |
| Typed self-interpretation by pattern matching | 2015-03-05 | Paper |
| The essence of compiling with traces | 2014-04-10 | Paper |
| Overloading Is NP-Complete | 2012-07-16 | Paper |
| A Typed Interrupt Calculus | 2011-04-08 | Paper |
| Tribute to Peter Mosses | 2009-10-22 | Paper |
| A Framework for End-to-End Verification and Evaluation of Register Allocators | 2009-03-03 | Paper |
| Aliased register allocation for straight-line programs is NP-complete | 2008-11-18 | Paper |
| Aliased Register Allocation for Straight-Line Programs Is NP-Complete | 2007-11-28 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| Type-based confinement | 2006-01-13 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Stack size analysis for interrupt-driven programs | 2005-01-11 | Paper |
| Type inference for record concatenation and subtyping | 2004-11-23 | Paper |
| Type-safe method inlining | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813395 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046759 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738226 | 2004-08-11 | Paper |
| CPS transformation of flow information | 2004-03-29 | Paper |
| Efficient and flexible matching of recursive types | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4365943 | 2002-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4230360 | 2002-01-20 | Paper |
| From polyvariant flow information to intersection and union types | 2001-07-23 | Paper |
| Safety analysis versus type inference | 2000-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4954456 | 2000-06-07 | Paper |
| Optimal representations of polymorphic types with subtyping | 2000-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4268457 | 1999-10-31 | Paper |
| Trust in the λ-calculus | 1999-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364383 | 1997-11-17 | Paper |
| Type inference with non-structural subtyping | 1997-08-03 | Paper |
| Complexity results for 1-safe nets | 1997-02-28 | Paper |
| A new approach to compiling adaptive programs | 1997-01-01 | Paper |
| Generating action compilers by partial evaluation | 1996-10-14 | Paper |
| Erratum to ``Efficient inference of object types | 1996-07-03 | Paper |
| Strong normalization with non-structural subtyping | 1996-07-01 | Paper |
| Efficient inference of object types | 1996-03-19 | Paper |
| Static typing for object-oriented programming | 1996-02-26 | Paper |
| Efficient recursive subtyping | 1995-10-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4319801 | 1995-01-12 | Paper |
| Efficient inference of partial types | 1994-11-06 | Paper |
| Normal forms have partial types | 1993-05-16 | Paper |
| Safety analysis versus type inference for partial types | 1993-01-17 | Paper |
