A Faithful Description of ECMAScript Algorithms. - Adam Khayam; Louis Noizet; Alan Schmitt (PPDP, 2022)

A Meta-Approach to Describe Effectful and Distributed Semantics. (Une Méta-Approche pour Décrire des Sémantiques avec Effets et Distribuée). - Adam Khayam (2022)