Wolfgang Jeltsch
Generic record combinators with static type checking
PPDP, 2010.
@inproceedings{PPDP-2010-Jeltsch, author = "Wolfgang Jeltsch", booktitle = "{Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1836089.1836108", isbn = "978-1-4503-0132-9", pages = "143--154", publisher = "{ACM}", title = "{Generic record combinators with static type checking}", year = 2010, }