3 ms·Compact normal forms and linear types = efficient network communication (2017)2 points by todsacerdoti 2y ago