Security-typed programming within dependently typed programming.

Jamie Morgenstern Daniel R. Licata

Published in: ICFP (2010)

Keyphrases

programming language
higher order
intrusion detection
development environment
computer programming
lambda calculus
security issues
data sets
web services
general purpose
e government
security systems
high level language