Matthias Blume Mike Rainey John H. Reppy Calling variadic functions from a strongly-typed language. 47-58 2008 ML http://doi.acm.org/10.1145/1411304.1411312 conf/ml/2008 db/conf/ml/ml2008.html#BlumeRR08