Generic Record Combinators with Static Type Checking
Author: | Wolfgang Jeltsch |
---|---|
DOI: | https://doi.org/10.1145/1836089.1836108 |
Title of the source (English): | Proceedings of the 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Hagenberg, 2010 |
Publisher: | ACM, Digital Library |
Place of publication: | New York, NY |
Document Type: | Conference Proceeding |
Language: | German |
Year of publication: | 2010 |
First Page: | 143 |
Last Page: | 154 |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Programmiersprachen und Compilerbau |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Programmiersprachen und Compilerbau |