Being Lazy When It Counts: Practical Constant-Time Memory Management for FPlink.springer.com1 pointmatt_d2 years ago