10 citations · 22 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2022★ 5 cited
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types
Jason Z. S. Hu, Brigitte Pientka, Ulrich Schöpp
We describe the categorical semantics for a simply typed variant and a simplified dependently typed variant of Cocon, a contextual modal type theory where the box modality mediates…
cs.LO2021★ 2 cited
Type-based Enforcement of Infinitary Trace Properties for Java
Serdar Erbatur, Ulrich Schöpp, Chuangjie Xu
A common approach to improve software quality is to use programming guidelines to avoid common kinds of errors. In this paper, we consider the problem of enforcing guidelines for F…
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…