2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2016★ 2 cited
The Algebraic Intersection Type Unification Problem
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The algebraic intersection type unification problem is an important component in proof search related to several natural decision problems in intersection type systems. It is unkno…
cs.SE2013★ 2 cited
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis
Boris Düdder, Oliver Garbe, Moritz Martens +2
We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection type…