Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine. Trading-Off Type-Inference Memory Complexity against Communication. In Sihan Qing, Dieter Gollmann, Jianying Zhou, editors, Information and Communications Security, 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003, Proceedings. Volume 2836 of Lecture Notes in Computer Science, pages 60-71, Springer, 2003. [doi]
Abstract is missing.