Generic Haskell: Practice and theory

被引：0
作者：
Hinze, Ralf [1 ]
Jeuring, Johan [2 ,3 ]
机构：
[1] Institut für Informatik III, Universität Bonn, 53117 Bonn
[2] Institute of Information and Computing Sciences, Utrecht University, 3508 TB Utrecht
[3] Open University, Heerlen
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2003年 / 2793卷
关键词：
D O I：
10.1007/978-3-540-45191-4_1
中图分类号：
学科分类号：
摘要：
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes describe the basic constructs of Generic Haskell and highlight the underlying theory. © Springer-Verlag Berlin Heidelberg 2003.
引用
收藏
页码：1 / 56
页数：55
相关论文
共 49 条
[1]  
Alimarine A., Plasmeijer R., A generic programming extension for Clean, Proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL'01, pp. 257-278, (2001)
[2]  
Altenkirch T., McBride C., Generic programming within dependently typed programming, Pre-Proceedings of IFIP TC2 Working Conf. on Generic Programming, WCGP'02, Dagstuhl, 11-12 July 2002, (2002)
[3]  
Augustsson L., The Haskell B. Compiler (HBC), (1998)
[4]  
Augustsson L., Cayenne - A language with dependent types, SIGPLAN Notices, 34, 1, pp. 239-250, (1999)
[5]  
Baars A.I., Swierstra S.D., Typing dynamic typing, Proceedings of the 2002 International Conference on Functional Programming, Pittsburgh, PA, USA, October 4-6, 2002, pp. 157-166, (2002)
[6]  
Bird R., Introduction to Functional Programming Using Haskell, (1998)
[7]  
Bird R., Meertens L., Nested datatypes, Lecture Notes in Computer Science, 1422, pp. 52-67, (1998)
[8]  
Bird R., Paterson R., Generalised folds for nested datatypes, Formal Aspects of Computing, 11, 2, pp. 200-222, (1999)
[9]  
Cheney J., Hinze R., A lightweight implementation of generics and dynamics, Proceedings of the 2002 ACM SIGPLAN Haskell Workshop, pp. 90-104, (2002)
[10]  
Cockett R., Fukushima T., About Charity, Yellow Series Report 92/480/18, (1992)
12345