10 citations · 22 across the 4 of their papers we have counts for
Showing 2022Show all
2 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.SE2022★ 5 cited
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…