15312 Foundations Of Programming Languages -

By the 1960s, the Tower of Babel had been rebuilt—this time with FORTRAN, COBOL, Lisp, ALGOL, and others. No one could agree on what a programming language should be. That’s when a small group of computer scientists began asking a radical question:

: Inductive definitions, substitution, and rule induction. 15312 foundations of programming languages

: Proving that "well-typed programs do not go wrong" using the properties of preservation and progress. By the 1960s, the Tower of Babel had