iRho: an imperative rewriting calculus (2008)

Cached

Download Links

by Luigi Liquori , Bernard Paul Serpette
Citations:2 - 1 self