A Dependently Typed Library for Static Information-Flow Control in Idris.

Simon Oddershede Gregersen Søren Eller Thomsen Aslan Askarov

Published in: POST (2019)

Keyphrases

information flow control
higher order
information flow
data sets
dynamic analysis
database
real time
computer vision
image processing
puts forward