SLam Calculus (Bradley Herrup)

1
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