10 citations · 22 across the 4 of their papers we have counts for
4 papers
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…
Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects
Markus Voggenreiter, Ulrich Schöpp
Integrating security activities into the software development lifecycle to detect security flaws is essential for any project. These activities produce reports that must be managed…
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…
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…