@inproceedings{Jeltsch2011, author = {Wolfgang Jeltsch}, title = {Generic Record Combinators with Static Type Checking}, booktitle = {Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010}, pages = {143 -- 154}, doi = {10.1145/1836089.1836108}, year = {2011}, }