Miëtek Bak‏@mietek 
A mathematician.
agda top 1000 interoperability top 1000 dependent-types top 1000

Expertise

Global rank

# 237,970

Location

None
Languages
agda
Erlang
OCaml
Haskell
TeX
R
Topics
interop...
depende...
ffi

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.