Xitong Gao
Functional-style recursive pattern matching in Python. Crazy stuff.
admk
:dart: soap - Structural Optimisation of Arithmetic Programs
