Follow

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 ! gallais.github.io/pdf/draft_fs

· · Web · 0 · 0 · 1
Sign in to participate in the conversation
La Quadrature du Net - Mastodon - Media Fédéré

Mamot.fr est un serveur Mastodon francophone, géré par La Quadrature du Net.