Person:1623114

Available identifiers

zbMath Open sulzmann.martinMaRDI QIDQ1623114

List of research outcomes

Publication	Date of Publication	Type
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go	2023-12-11	Paper
Semantic preservation for a type directed translation scheme of Featherweight Go	2023-06-30	Paper
A Dictionary-Passing Translation of Featherweight Go	2023-03-29	Paper
A Computational Interpretation of Context-Free Expressions	2022-12-09	Paper
Solving of regular equations revisited	2019-12-12	Paper
Derivatives and partial derivatives for regular shuffle expressions	2019-06-25	Paper
The tableau-based theorem prover 3 T A P Version 4.0	2019-01-15	Paper
LTL semantic tableaux and alternating \(\omega\)-automata via linear factors	2018-11-23	Paper
Derivative-Based Diagnosis of Regular Expression Ambiguity	2018-02-22	Paper
Static Trace-Based Deadlock Analysis for Synchronous Mini-Go	2016-12-21	Paper
Derivative-Based Diagnosis of Regular Expression Ambiguity	2016-11-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
Exception analysis for non-strict languages	2015-10-07	Paper
A theory of overloading	2015-10-07	Paper
Type checking with open type functions	2015-03-16	Paper
Complete and decidable type inference for GADTs	2015-01-06	Paper
On Termination, Confluence and Consistent CHR-based Type Inference	2014-11-25	Paper
POSIX Regular Expression Parsing with Derivatives	2014-07-24	Paper
Language-based program verification via expressive types	2013-12-13	Paper
<scp>OutsideIn(X)</scp>Modular type inference with local assumptions	2013-04-24	Paper
Constructive Finite Trace Analysis with Linear Temporal Logic	2012-07-20	Paper
Concurrent goal-based execution of constraint handling rules	2012-05-24	Paper
Tag-Free Combinators for Binding-Time Polymorphic Program Generation	2010-05-04	Paper
Programming Languages and Systems	2010-01-05	Paper
Observable Confluence for Constraint Handling Rules	2009-03-05	Paper
Transactions in Constraint Handling Rules	2009-01-22	Paper
Type Processing by Constraint Reasoning	2008-05-06	Paper
Principal Type Inference for GHC-Style Multi-parameter Type Classes	2008-05-06	Paper
HM(X) type inference is CLP(X) solving	2008-03-27	Paper
Programming Languages and Systems	2007-09-28	Paper
A Framework for Extended Algebraic Data Types	2007-05-02	Paper
Understanding functional dependencies via constraint handling rules	2007-02-07	Paper
Programming Languages and Systems	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4778697	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q4529772	2002-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q2763643	2002-01-21	Paper

Research outcomes over time

This page was built for person: Martin Sulzmann