Trading-Off Type-Inference Memory Complexity against Communication.

Konstantin Hyppnen, David Naccache, Elena Trichina, Alexei Tchoulkine

Browse the full ICICS paper archive.