alf » from archive
Вера в красоту и лаконичность функционального подхода меня покидает :) http://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf