Mark S. Miller Daniel von Dincklage Vuk Ercegovac Brian Chin Uncanny Valleys in Declarative Language Design. 9:1-9:12 2017 SNAPL https://doi.org/10.4230/LIPIcs.SNAPL.2017.9 conf/snapl/2017 db/conf/snapl/snapl2017.html#MillerDEC17