Author:
Hinze Ralf,Löh Andres,Oliveira Bruno C. d. S.
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lämmel, R., Peyton Jones, S.: Scrap your boilerplate: a practical design pattern for generic programming. In: Types in Language Design and Implementation (2003)
2. Jansson, P., Jeuring, J.: PolyP – a polytypic programming language extension. In: Conference Record 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Paris, France, pp. 470–482. ACM Press, New York (1997)
3. Löh, A.: Exploring Generic Haskell. PhD thesis, Utrecht University (2004)
4. Löh, A., Jeuring, J., Clarke, D., Hinze, R., Rodriguez, A., de Wit, J.: The Generic Haskell user’s guide, version 1.42 (Coral). Technical Report UU-CS-2005-004, Institute of Information and Computing Sciences, Utrecht University (2005)
5. Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: Proceedings of the ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages (POPL 2003), pp. 224–235. ACM Press, New York (2003)
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A completely unique account of enumeration;Proceedings of the ACM on Programming Languages;2022-08-29
2. Computing correctly with inductive relations;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Generic Programming in OCaml;Electronic Proceedings in Theoretical Computer Science;2018-12-31
4. Spreadsheet Engineering;Central European Functional Programming School;2015
5. Generic Generic Programming;Practical Aspects of Declarative Languages;2014