Generic Haskell(ID:4935/gen005)

Extensions to Haskell for generic programming

University of Utrecht
Related languages
Haskell => Generic Haskell   Extension of
References:
  • Hinze, Ralf "Polytypic values possess polykinded types" view details
          in Backhouse, Roland and J.N. Oliveira, editors, Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), Ponte de Lima, Portugal, July 3-5, 2000, Springer-Verlag. view details
  • Ralf Hinze. A New Approach to Generic Functional Programming view details
          in [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000 view details
  • Clarke, Dave Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2001-26, 2001 view details
          in [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000 view details
  • Clarke, Dave and Andres Löh. Generic Haskell, Specifically. To appear in WCGP 2002. view details
          in [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000 view details
  • de Wit, Jan A technical overview of Generic Haskell. Master's thesis, department of Information and Computing Sciences, Utrecht University, INF-SCR-02-03, 2002. view details
          in [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000 view details
  • Hinze, R. and J. Jeuring. Generic Haskell: Applications. To appear in the lecture notes of the Summer School on Generic Programming, LNCS © Springer-Verlag, 2002/2003. view details
          in [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000 view details
  • Hinze, R. and J. Jeuring. Generic Haskell: Practice and Theory. To appear in the lecture notes of the Summer School on Generic Programming, LNCS © Springer-Verlag, 2002/2003. view details
          in [ACM SIGACT-SIGPLAN] 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'00), Boston, Massachusetts, January 19-21, 2000 view details
  • Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes" view details
          in Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag. view details
  • Hinze, Ralf; Jeuring, Johan and Löh, Andres "Type-indexed datatypes" Technical report ICS Utrecht University, UU-CS-2002-011. view details
          in Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag. view details
  • Jeuring, Johan and Paul Hagg. Generic Programming for XML Tools. Technical report ICS Utrecht University, UU-CS-2002-023. view details
          in Proceedings of the 6th International Conference on Mathematics of Program Construction, LNCS 2386, 2002, Springer-Verlag. view details
    Resources