L
lne@social.praxis.nyc
@lne@social.praxis.nyc
interested in next generation type theories, braided monoidal categories, and graphical computation frameworks, based in san francisco
Omdømme
0
Profil visninger
1
Oprettet
Sidst online
interests
type theory, category theory, graphical models of computation, compiler design and implementation