The power of pi (2008)

by N Oury, W Swierstra
Venue:In ACM SIGPLAN International Conference on Functional Programming