This weekend my great coauthors and I shipped a draft about a universe of scope safe syntaxes with binding, their semantics and proofs! Plenty of , and even !

· · Web · 0 · 0 · 1
Sign in to participate in the conversation
La Quadrature du Net - Mastodon - Media Fédéré est un serveur Mastodon francophone, géré par La Quadrature du Net.