Generic views on data types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4014 LNCS, Issue , 2006, Pages 209-234

  Holdermans, Stefan ^a   Jeuring, Johan ^a   Löh, Andres ^b   Rodriguez, Alexey ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b UNIVERSITY OF BONN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FUNCTION EVALUATION; LOGIC PROGRAMMING;

DATA TYPE; GENERIC FUNCTIONS; GENERIC HASKELL; ISOMORPHIC TYPE;

DATA STRUCTURES;

EID: 33746102200     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11783596_14     Document Type: Conference Paper

References (27)

1. Jansson, P., Jeuring, J.: PolyP -a polytypic programming language extension. In: Conference Record of POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press (1997) 470-482
2. Hinze, R.: Polytypic values possess polykinded types. Science of Computer Programming 43(2-3) (2002) 129-159
3. Lämmel, R., Jones, S.P.: Scrap your boilerplate: a practical approach to generic programming, ACM SIGPLAN Notices 38(3) (2003) 26-37 Proceedings ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003).
4. Jay, C.B.: Distinguishing data structures and functions: the constructor calculus and functorial types. In Abramsky, S., ed.: Typed Lambda Calculi and Applications: 5th International Conference TLCA 2001. Volume 2044 of LNCS., Springer-Verlag (2001) 217-239
5. Hoogendljk, P., de Moor, O.: Container types categorically. Journal of Functional Programming 10(2) (2000) 191-225
6. Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes, and barbed wire. In Hughes, J., ed.: Functional Programming Languages and Computer Architecture, FPCA 1991. Volume 523 of LNCS., Springer-Verlag (1991) 124-144
7. Jansson, P., Jeuring, J.: A framework for polytypic programming on terms, with an application to rewriting. In Jeuring, J., ed.: Workshop on Generic Programming 2000, Ponte de Lima, Portugal, July 2000. (2000) 33-45 Utrecht Technical Report UU-CS-2000-19.
8. Loh, 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)
9. Löh, A.: Exploring Generic Haskell. PhD thesis, Utrecht University (September 2004)
10. Lämmel, R., Peyton Jones, S.: Scrap more boilerplate: reflection, zips, and generalised casts. In: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, ACM Press (2004) 244-255
11. Hinze, R., Jeuring, J.: Generic Haskell: applications. In: Generic Programming, Advanced Lectures. Volume 2793 of LNCS., Springer-Verlag (2003) 57-97
12. Wadler, P.: Views: a way for pattern matching to cohabit with data abstraction. In: Conference Record of POPL '87: The 14th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. (1987)
13. Hinze, R., Jeuring, J.: Generic Haskell: practice and theory. In: Generic Programming, Advanced Lectures. Volume 2793 of LNCS., Springer-Verlag (2003) 1-56
14. Malcolm, G.: Data structures and program transformation. Science of Computer Programming 14 (1990) 255-279.
15. Schrage, M.: Proxima, a presentation-oriented editor for structured documents. PhD thesis, Utrecht University (October 2004)
16. Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: ACM '72: Proceedings of the ACM annual conference, New York, NY, USA, ACM Press (1972) 717-740
17. Hinze, R., Löh, A., Oliveira, B.C.d.S.: "Scrap Your Boilerplate" Reloaded. In: Proceedings of the Eighth International Symposium on Functional and Logic Programming (FLOPS 2006). Volume 3945 of LNCS., Springer-Verlag (2006)
18. Holdermans, S., Jeuring, J., Löh, A., Rodriguez, A.: Generic views on data types. Technical Report UU-CS-2006-020, Department of Information and Computing Sciences, Utrecht University (2006)
19. Holdermans, S.: Generic views, Master's thesis, Institute of Information and Computing Sciences, Utrecht University (2005)
20. Burton, F.W., Cameron, R.D.: Pattern matching with abstract data types. Journal of Functional Programming 3(2) (1993) 117-190
21. Okasaki, C.: Views for Standard ML. In: SIGPLAN Workshop on ML. (1998) 14-23
22. Burton, F.W., Meijer, E., Sansom, P., Thompson, S., Wadler, P.: Views: an extension to Haskell pattern matching. Available from http://www.haskell.org/ development/views.html (1996)
23. Abiteboul, S.: On views and XML. In: Proceedings of the 18th ACM SIGACTSIGMOD-SIGART Symposium on Principles of Database Systems, ACM Press (1999) 1-9
24. Ohori, A., Tajima, K.: A polymorphic calculus for views and object sharing. In: Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. (1994) 255-266
25. Souza dos Santos, C., Abiteboul, S., Delobel, C.: Virtual schemas and bases. In: Proceedings of the International Conference on Extensive Data Base Technology (EDBT'94), Cambridge, UK, Springer-Verlag (1994) 81-94
26. Altenkirch, T., McBride, C.: Generic programming within dependently typed programming. In Gibbons, J., Jeuring, J., eds.: Generic Programming: IFIP TC2/WG2.1 Working Conference on Generic Programming July 11-12, 2002, Dagstuhl, Germany. Number 115 in International Federation for Information Processing, Kluwer Academic Publishers (2003) 1-20
27. Benke, M., Dybjer, P., Jansson, P.: Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10(4) (2003) 265-289