Xavier Clerc@xclerc 
functional-language top 100 algebraic-effects top 100 opam top 100

Expertise

Global rank

# 119,132

Location

London
Languages
coq
OCaml
Common ...
TeX
Products
opam
mariadb
SQLite
sed
Postgre...
Topics
functio...
algebra...
theorem...
depende...
multico...
lwt

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.