Lambda the Ultimate

Software Engineering Discipline, Programming Methodology, Language Design, Type Theory, Optimization, Systems Engineering, Fault Tolerance, Security, Privacy, Correctness