About
Computer scientist interested in specifying and implementing correct computer systems via functional programming and advanced static type systems.
Info
9:02 AM
Member since May 01, 2020
Computer scientist interested in specifying and implementing correct computer systems via functional programming and advanced static type systems.