Programming Languages: Build, Prove, and Compare PDF

Computer scientists often need to learn new programming languages quickly. The best way to prepare f