Generating generic functions (2006)

Cached

Download Links

by Johan Jeuring , Alexey Rodriguez , Gideon Smeding
Venue:In WGP ’06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Citations:1 - 0 self

Documents Related by Co-Citation

1 and Rinus Plasmeijer. Automatic testing of higher order functions – Pieter W M Koopman - 2006
1 Recursion, lambda abstractions and genetic programming – Malcolm Wallace, Colin Runciman - 1998
3 A Methodology for Synthesis of Recursive Functional Programs – A Banerjee - 1987
8 Generic Generation of Elements of Types – Pieter Koopman, Rinus Plasmeijer - 2005
5 Automatic synthesis of XSLtransformations from example documents – U Schmid, J Waltermann - 2004
76 A methodology for LISP program construction from examples – P D Summers - 1977
13 Inductive Synthesis of Functional Programs – Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki
3 Synthesis of Recursive Programs from Finite Examples By Detection of Macro-Functions – Fritz Wysotzki, Ute Schmid - 2001
41 Gast: Generic Automated Software Testing – Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer - 2002
21 Systematic search for lambda expressions – Susumu Katayama - 2005
300 Definitional interpreters for higher-order programming languages – John C. Reynolds - 1972
309 QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs – Koen Claessen, John Hughes - 2000
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001