A pipeline functional language for stateful packet processing | IEEE Conference Publication | IEEE Xplore