Mise à jour : Manuel d’introduction aux langages de programmation

Les professeurs Jaemin Hong et Sukyoung Ryu du KAIST ont publié une version mise à jour de leur manuel, "Introduction aux langages de programmation". Ce manuel introductif couvre les concepts fondamentaux des langages de programmation, notamment la syntaxe, la sémantique, les systèmes de types et les implémentations d’interpréteurs/vérificateurs de types. Les auteurs encouragent son utilisation par toute personne apprenant ou enseignant ces concepts et reconnaissent les contributions des étudiants et des assistants d’enseignement. La dernière édition comporte des corrections typographiques et des marges de page réduites.