Another very cool representation is Urban Boquist's GRIN (graph reduction intermediate notation). GRIN is used in Jhc (and thus in Ajhc and Lhc).