Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
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