Programming Languages: Build, Prove, and Compare

  • Length: 600 pages
  • Publication Date: 2022-10-27