research
∙
09/05/2022
Inferring Region Types via an Abstract Notion of Environment Transformation
Region-based type systems are a powerful tool for various kinds of progr...
share
research
∙
06/06/2022
A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types
We describe the categorical semantics for a simply typed variant and a s...
research
∙
04/19/2022
Using a Semantic Knowledge Base to Improve the Management of Security Reports in Industrial DevOps Projects
Integrating security activities into the software development lifecycle ...
research
∙
02/25/2022
Towards an Accountable and Reproducible Federated Learning: A FactSheets Approach
Federated Learning (FL) is a novel paradigm for the shared training of m...
research
∙
07/23/2021