Peter Thiemann

Available identifiers

zbMath Open thiemann.peter-jMaRDI QIDQ526443

List of research outcomes

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

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: Peter Thiemann