Optimizing generics is easy!

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2010, Pages 33-42

  Magalhães, José Pedro ^a   Holdermans, Stefan ^a   Jeuring, Johan ^a,b   Löh, Andres ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

Benchmark; Functional programming; Generic programming; Haskell; Optimization

Indexed keywords

AUTOMATIC CODES; BENCHMARK SUITES; CODE DUPLICATION; DATA TYPE; GENERIC FUNCTIONS; GENERIC PROGRAMMING; GLASGOW HASKELL COMPILERS; HASKELL; OPTIMIZATION CAPABILITIES; PERFORMANCE COMPARISON; STANDARD OPTIMIZATION;

COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; LIBRARIES; OPTIMIZATION; REUSABILITY; TECHNICAL PRESENTATIONS;

FUNCTIONAL PROGRAMMING;

EID: 77950891331     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1706356.1706366     Document Type: Conference Paper

References (24)

1. Artem Alimarine and Sjaak Smetsers. Optimizing generic functions. In MPC'04, volume 3125 of LNCS, pages 16-31. Springer, 2004.
2. Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction. In AFP'98, volume 1608 of LNCS, pages 28-115. Springer, 1999.
3. Neil C. C. Brown and Adam T. Sampson. Alloy: Fast generic transformations for Haskell. In Haskell'09, pages 105-116. ACM, 2009.
4. Manuel M. T. Chakravarty, Gabriel C. Ditu, and Roman Leshchinskiy. Instant generics: Fast and easy, 2009. Draft version.
5. Jeremy Gibbons. Datatype-generic programming. In Spring School on Datatype-Generic Programming, volume 4719 of LNCS. Springer, 2007.
6. Ralf Hinze. Generics for the masses. Journal of Functional Programming, 16(4-5):451-483, 2006.
7. Ralf Hinze, Andres Löh, and Bruno C. d. S. Oliveira. "Scrap Your Boiler-plate" reloaded. In FLOPS'06, volume 3945 of LNCS. Springer, 2006.
8. Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approches to generic programming in Haskell. In Datatype-Generic Programming, volume 4719 of LNCS, pages 72-149. Springer, 2007.
9. Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez Yakushev. Generic views on data types. In MPC'06, volume 4014 of LNCS, pages 209-234. Springer, 2006.
10. Johan Jeuring, Sean Leather, José Pedro Magalhães, and Alexey Rodriguez Yakushev. Libraries for generic programming in Haskell. In AFP'08, volume 5832 of LNCS, pages 165-229. Springer, 2009.
11. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical approach to generic programming. In TLDI '03, pages 26-37, 2003.
12. Ralf Lämmel and Simon Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In ICFP'04, pages 244-255. ACM, 2004.
13. Neil Mitchell and Colin Runciman. Uniform boilerplate and list processing. In Haskell'07, pages 49-60. ACM, 2007.
14. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, and Bastiaan Heeren. A lightweight approach to datatype-generic rewriting. In WGP '08, pages 13-24. ACM, 2008.
15. Bruno C.d.S. Oliveira, Ralf Hinze, and Andres Löh. Extensible and modular generics for the masses. In TFP'06, pages 199-216. Intellect, 2007.
16. Will Partain. The nofib benchmark suite of Haskell programs. In Proceedings of the 1992 Glasgow Workshop on Functional Programming, pages 195-202. Springer, 1993.
17. Simon Peyton Jones and Simon Marlow. Secrets of the glasgow haskell compiler inliner. Journal of Functional Programming, 12(4&5):393-433, 2002.
18. Simon Peyton Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: Rewriting as a practical optimisation technique in GHC. In Haskell'01, page 203, 2001.
19. Simon Peyton Jones et al. Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003. A special issue of JFP.
20. Alexey Rodriguez Yakushev. Towards Getting Generic Programming Ready for Prime Time. PhD thesis, Utrecht University, 2009.
21. Alexey Rodriguez Yakushev, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, and Bruno C.d.S. Oliveira. Comparing libraries for generic programming in Haskell. In Haskell'08, pages 111-122. ACM, 2008.
22. Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, and Johan Jeuring. Generic programming with fixed points for mutually recursive datatypes. In ICFP'09, pages 233-244. ACM, 2009.
23. Tom Schrijvers, Simon Peyton Jones, Manuel M. T. Chakravarty, and Martin Sulzmann. Type checking with open type functions. In ICFP'08, pages 51-62. ACM, 2008.
24. Tim Sheard and Simon Peyton Jones. Template metaprogramming for Haskell. In Haskell'02, pages 1-16. ACM, 2002.