Login / Signup
A Dependently Typed Library for Static Information-Flow Control in Idris.
Simon Oddershede Gregersen
Søren Eller Thomsen
Aslan Askarov
Published in:
CoRR (2019)
Keyphrases
</>
information flow control
higher order
information flow
lambda calculus
artificial neural networks
fixed order
real time
databases
neural network
information systems
decision making
case study