Functional Programming 2017 Papers I've Read in 2017 Where do Type Systems Come From? 2014 Leveraging Zero-Cost Abstractions in C++: Variadic Templates 2013 Entendendo Scala Sequence Comprehensions