Transcript SLam Calculus (Bradley Herrup)

SLam Calculus
(Bradley Herrup)
 Functional Programming implementation of a Secure
Programming Language
 Allows for the creation of unique low level data types
 Security is enforced by scoping the data types using already
available scoping aspects that are innate in the ML Language
 ML is a unique functional language in that allows for the definition
of variables and functions that are typically found in imperative
languages
 The nature of the functional programming language lends itself to
protect security levels because inner functions must automatically
obey the security of the variables that are being used in it based
on the scope of those variables