Login / Signup

Pattern-matching and rewriting rules for group indexed data structures.

Jean-Louis GiavittoOlivier MichelJulien Cohen
Published in: ACM SIGPLAN Notices (2002)
Keyphrases