| Publication | Date of Publication | Type |
|---|
| A Computational Interpretation of Context-Free Expressions | 2022-12-09 | Paper |
| Polymorphic lambda calculus with context-free session types | 2022-12-08 | Paper |
| Relating Functional and Imperative Session Types | 2022-10-06 | Paper |
| Blame and coercion: Together again for the first time | 2021-12-27 | Paper |
| Derivatives and partial derivatives for regular shuffle expressions | 2019-06-25 | Paper |
| LTL semantic tableaux and alternating \(\omega\)-automata via linear factors | 2018-11-23 | Paper |
| From sequential programs to multi-tier applications by program transformation | 2017-07-14 | Paper |
| The marriage of effects and monads | 2017-06-13 | Paper |
| Partial Derivatives for Context-Free Languages | 2017-05-19 | Paper |
| The interaction of contracts and laziness | 2017-05-15 | Paper |
| Blame assignment for higher-order contracts with intersection and union | 2017-05-10 | Paper |
| Context-free session types | 2017-05-10 | Paper |
| Symbolic Solving of Extended Regular Expression Inequalities. | 2017-04-25 | Paper |
| Static Trace-Based Deadlock Analysis for Synchronous Mini-Go | 2016-12-21 | Paper |
| Derivatives for Enhanced Regular Expressions | 2016-11-09 | Paper |
| Cogen in six lines | 2016-09-01 | Paper |
| A Delta for Hybrid Type Checking | 2016-08-17 | Paper |
| Session Types with Gradual Typing | 2016-06-09 | Paper |
| Forkable Regular Expressions | 2016-04-13 | Paper |
| Derivatives for Regular Shuffle Expressions | 2016-04-08 | Paper |
| From $$\omega $$-Regular Expressions to Büchi Automata via Partial Derivatives | 2016-04-08 | Paper |
| Combining behavioural types with security analysis | 2015-11-10 | Paper |
| Type classes with more higher-order polymorphism | 2015-10-07 | Paper |
| Access permission contracts for scripting languages | 2015-09-11 | Paper |
| Discriminative sum types locate the source of type errors | 2015-07-02 | Paper |
| Functional logic overloading | 2015-03-17 | Paper |
| Precise Interprocedural Side-Effect Analysis | 2015-01-13 | Paper |
| Gradual Typing for Annotated Type Systems | 2014-04-16 | Paper |
| Syntactic Type Soundness for the Region Calculus | 2013-05-10 | Paper |
| On the decidability of subtyping with bounded existential types and implementation constraints | 2012-11-16 | Paper |
| \textsc{Mnemonics}: type-safe bytecode generation at run time | 2012-01-13 | Paper |
| Proving Isolation Properties for Software Transactional Memory | 2011-05-19 | Paper |
| Eager and delayed contract monitoring for call-by-value and call-by-name evaluation | 2010-10-22 | Paper |
| Interprocedural Analysis with Lazy Propagation | 2010-10-01 | Paper |
| Tag-Free Combinators for Binding-Time Polymorphic Program Generation | 2010-05-04 | Paper |
| Placement Inference for a Client-Server Calculus | 2008-08-19 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813409 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738359 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4472537 | 2004-08-04 | Paper |
| Syntactic type soundness results for the region calculus | 2003-01-14 | Paper |
| Program specialization for execution monitoring | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2763666 | 2002-01-21 | Paper |
| A typed representation for HTML and XML documents in Haskell | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508311 | 2000-10-03 | Paper |
| Combinators for program generation | 2000-03-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227006 | 1999-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222932 | 1999-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4222904 | 1998-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4364387 | 1997-11-17 | Paper |
| Optimizing structural recursion in functional programs | 1993-11-15 | Paper |
