ICCL 1994: Toulouse, France
- Henri E. Bal (Ed.): Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, May 16-19, 1994, Toulouse, France. IEEE Computer Society 1994
- Suresh Jagannathan: Dynamic Modules in Higher-Order Languages. 74-87
- Dennis M. Volpano: Haskell-style Overloading is NP-hard. 88-94
- Thomas P. Jensen: Abstract Interpretation over Algebraic Data Types.