POPL 1994