Sergei Winitzki

winitzki

Theoretical physicist turned software engineer, passionate for functional programming, applied type theory, and declarative domain-specific languages

Neuilly-sur-Seine, France https://sites.google.com/site/winitzki/ 首次见于 2023-01-01