Login / Signup

LEAN: an intermediate language based on graph rewriting.

Hendrik Pieter BarendregtMarko C. J. D. van EekelenMarinus J. PlasmeijerJohn R. W. GlauertRichard KennawayM. Ronan Sleep
Published in: Parallel Comput. (1989)
Keyphrases