TY - CONF A1 - Jeltsch, Wolfgang T1 - Generic Record Combinators with Static Type Checking T2 - Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010 Y1 - 2011 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/5112 SP - 143 EP - 154 PB - ACM, Digital Library CY - New York, NY ER -