Konstantin Hyppönen David Naccache Elena Trichina Alexei Tchoulkine Trading-Off Type-Inference Memory Complexity against Communication. 60-71 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2836&spage=60 2003 conf/icics/2003 ICICS db/conf/icics/icics2003.html#HypponenNTT03