Algebraic data types for language-integrated queries.

George Giorgidze, Torsten Grust, Alexander Ulrich, Jeroen Weijers

Browse the full POPL paper archive.