ulidtko
09.03.2012 02:07 уважением
Гуглю "observable sharing", keywords одной хаскель-related статьи. У третьей же ссылки вместо заголовка матан:
[PDF] let {x = M} in N = N [Mvx ]( x /∈ M )
www.cse.chalmers.se/~dave/papers/observable-sharing.pdf < http://www.cse.chalmers.se/~dave/papers/...