10 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 1 cited
Inferring Region Types via an Abstract Notion of Environment Transformation
Ulrich Schöpp, Chuangjie Xu
Region-based type systems are a powerful tool for various kinds of program analysis. We introduce a new inference algorithm for region types based on an abstract notion of environm…
cs.LO2014★ 10 cited
On the Relation of Interaction Semantics to Continuations and Defunctionalization
Ulrich Schöpp
In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new…