https://types.pl/@DMerigoux
DMerigoux (@DMerigoux@types.pl) - types.pl
18 Toots, 42 Following, 113 Followers ยท Starting researcher at Inria Paris (Prosecco team). Specialized in proof-oriented domain-specific language design....
types pldmerigoux
https://piaille.fr/@DMerigoux
Denis Merigoux (@DMerigoux@piaille.fr) - Piaille
piaille frdenisdmerigoux