Reducing the Memory Complexity of Type-Inference Algorithms.

David Naccache Alexei Tchoulkine Christophe Tymen Elena Trichina Reducing the Memory Complexity of Type-Inference Algorithms. 109-121 2002 conf/icics/2002 ICICS http://link.springer.de/link/service/series/0558/bibs/2513/25130109.htm db/conf/icics/icics2002.html#NaccacheTTT02