PA) ACM SIGPLAN International Conference on Functional Programming (1996 : Philadelphia