Types from data: making structured data first-class citizens in F#. - Tomas Petricek 001; Gustavo Guerra; Don Syme (PLDI, 2016)