4 citations · 14 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Mixin Composition Synthesis based on Intersection Types
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner +3
We present a method for synthesizing compositions of mixins using type inhabitation in intersection types. First, recursively defined classes and mixins, which are functions over c…
cs.LO2017
Rank 3 Inhabitation of Intersection Types Revisited (Extended Version)
Andrej Dudenhefner, Jakob Rehof
We revisit the undecidability result of rank 3 intersection type inhabitation (Urzyczyn 2009) in pursuit of two goals. First, we strengthen the previous result by showing that inte…