Aarhus University logo
Department of Computer Science
Title
Type theory, in and around computer science
Abstract
This talk concerns my work on type theory, a family of statically typed functional…
Abstract:
Joint work with Mouloud Amara, Giovanni Bernardi and Adrian Francalanza.
In runtime verification (RV), a logical formula φ,…
φ
Department of Computer Science, Aarhus University is hosting a summer school in Programming Languages, Logic and Software Security.
To ensure that functional programs preserve differential privacy, a key technique involves adding noise to the result according to the…
Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
In recent years temporal verification has been increasingly applied to…
The mode of a logic program says which parts of a predicate’s arguments are inputs, and which are outputs. A program is mode-correct when information…
Page 1 of 5
