Pourquoi un labo d'AI chinois a sorti un papier super intéressant de théorie de langages de programmation, puis écrit une implémentation en Typescript ??
[We] give a calculus of dynamic composition, whose metatheory carries spatiotemporal composability from a single component to a whole system of interleaved components​:frog_wow:​