most citedExperience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.HC2019★ 1 cited

Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

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…