@misc{cryptoeprint:2003:140, author = {Konstantin Hypp\"onen and David Naccache and Elena Trichina and Alexei Tchoulkine}, title = {Trading-Off Type-Inference Memory Complexity Against Communication}, howpublished = {Cryptology ePrint Archive, Report 2003/140}, year = {2003}, url = {http://eprint.iacr.org/2003/140}, }