Types from data: making structured data first-class citizens in F#.

Tomas Petricek, Gustavo Guerra, Don Syme

Browse the full PLDI paper archive.