Applicative 2015
ACM Digital Library