3 ms·Simplicitly – Foundations and Applications of Implicit Function Types [pdf]2 points by walkingolof 9y ago