Two new graph-based functional programming languages