A theory of overloading von STUCKEY, Peter J, SULZMANN, Martin

Volltext

Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings von Gallagher, John P, Sulzmann, Martin

Volltext

A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go von SULZMANN, MARTIN, WEHR, STEFAN

Volltext

Derivatives and partial derivatives for regular shuffle expressions von Sulzmann, Martin, Thiemann, Peter

Volltext

Special issue on revised and extended versions of papers presented at the 22nd Brazilian Symposium on Programming Languages (SBLP 2018) von Sulzmann, Martin

Volltext

Preface von Gallagher, John P., Sulzmann, Martin

Volltext

OutsideIn(X) Modular type inference with local assumptions von VYTINIOTIS, DIMITRIOS, PEYTON JONES, SIMON, SCHRIJVERS, TOM, SULZMANN, MARTIN

Volltext

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go von Sulzmann, Martin, Wehr, Stefan

Volltext

A Dictionary-Passing Translation of Featherweight Go von Sulzmann, Martin, Wehr, Stefan

Volltext

Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

Volltext

On Termination, Confluence and Consistent CHR-based Type Inference von DUCK, GREGORY J., HAEMMERLÉ, RÉMY, SULZMANN, MARTIN

Volltext

Understanding functional dependencies via constraint handling rules von SULZMANN, MARTIN, DUCK, GREGORY J., PEYTON-JONES, SIMON, STUCKEY, PETER J.

Volltext

Cross-thread critical sections and efficient dynamic race prediction methods von Sulzmann, Martin, Thiemann, Peter

Volltext bestellen

Trace-Based Run-Time Analysis of Message-Passing Go Programs von Sulzmann, Martin, Stadtmüller, Kai

Volltext

Semantic preservation for a type directed translation scheme of Featherweight Go von Sulzmann, Martin, Wehr, Stefan

Volltext bestellen

A Computational Interpretation of Context-Free Expressions von Sulzmann, Martin, Thiemann, Peter

Volltext

Derivative-Based Diagnosis of Regular Expression Ambiguity von Sulzmann, Martin, Lu, Kenny Zhuo Ming

Volltext

A Type-Directed, Dictionary-Passing Translation of Method Overloading and Structural Subtyping in Featherweight Generic Go von Sulzmann, Martin, Wehr, Stefan

Volltext bestellen

A Dictionary-Passing Translation of Featherweight Go von Sulzmann, Martin, Wehr, Stefan

Volltext bestellen

HM(X) type inference is CLP(X) solving von SULZMANN, MARTIN, STUCKEY, PETER J.

Volltext