4 citations · 8 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan Bessai, Moritz Roidl, Anna Vasileva
One of the ultimate goals of software engineering is to leave virtual spaces and move real things. We take one step toward supporting users with this goal by connecting a type-base…