Computer science/Programming languages/Type systems
Subject Classification
ACM: Software and its engineering~Data types and structures
2024
2023
2021
2020
A Sound Type System for Physical Quantities, Units, and Measurements
by Simon Foster and Burkhart Wolff
2017
Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus
by Michael Rawson
2016
A Dependent Security Type System for Concurrent Imperative Programs
by Toby Murray, Robert Sison, Edward Pierzchalski and Christine Rizkallah
2014
A Formalization of Declassification with WHAT-and-WHERE-Security
by Sylvia Grewe, Alexander Lux, Heiko Mantel and Jens Sauer
A Formalization of Assumptions and Guarantees for Compositional Noninterference
by Sylvia Grewe, Heiko Mantel and Daniel Schoepe
2012
2008
A Correctness Proof for the Volpano/Smith Security Typing System
by Gregor Snelting and Daniel Wasserrab