"No Foul Play" Describing State with Dependently Typed FSMs

EN

Alexander Gerasimov photo
wix.com

Alexander Gerasimov

Berlin, Germany

Alex is employed as a front-end engineer at Wix.com, earning just enough to sustain his functional programming addiction.

In his spare time he teaches programming and creates educational games with his hacker friends.

Twitter: @da_quirm