Haskell and Coq programmer
The Deadlock Empire
Slay dragons, learn concurrency! Play the cunning Scheduler, exploit flawed programs and defeat the armies of the Parallel Wizard.
Stand out as a speaker
Type-level lenses found their way in my compiler... #haskell #dependenttypes
Me at #CPP2019 talking about the #DeepSpec expedition: specifying, verifying and testing a networked server. https://arxiv.org/abs/1811.11911
This December, the Advent of #Coq! #adventofcode2018
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !