Login / Signup

Structural recursion for querying ordered graphs.

Soichiro HidakaKazuyuki AsadaZhenjiang HuHiroyuki KatoKeisuke Nakano
Published in: ICFP (2013)
Keyphrases