Enumerating well-typed terms generically

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

Volumn 5812 LNCS, Issue , 2010, Pages 93-116

  Rodriguez Yakushev, Alexey ^a   Jeuring, Johan ^b,c  

^a Vector Fabrics BV   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS;

ALGEBRAIC DATA-TYPES; EXISTENTIAL TYPES; GENERIC PROGRAMMING; LAMBDA TERMS; SIMPLY TYPED LAMBDA CALCULUS;

DIFFERENTIATION (CALCULUS);

EID: 77952007842     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-11931-6_5     Document Type: Conference Paper

References (16)

1. Augustsson, L.: Announcing Djinn, version 2004-12-11, a coding wizard (2005), http://permalink.gmane.org/gmane.comp.lang.haskell.general/12747
2. Benke, M., Dybjer, P., Jansson, P.: Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10(4), 265-289 (2003)
3. Cheney, J., Hinze, R.: First-class phantom types. Technical report, Cornell University (2003)
4. Claessen, K., Hughes, J.: QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs. In: ICFP 2000, pp. 286-1279 (2000)
5. Dyckhoff, R.: Contraction-free sequent calculi for intuitionistic logic. The Journal of Symbolic Logic 57(3), 795-807 (1992)
6. Hinze, R., Löh, A.: "Scrap Your Boilerplate" revolutions. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.4014, pp. 180-208. Springer, Heidelberg (2006)
7. Hinze, R., Löh, A., Oliveira, B.C.d.S.: "Scrap your boilerplate" reloaded. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.3945, pp. 13-29. Springer, Heidelberg (2006)
8. Katayama, S.: Systematic search for lambda expressions. In: TFP 2005 (2005)
9. Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: Peña, R., Arts, T. (eds.) IFL 2002. LNCS, vol.2670. Springer, Heidelberg (2003)
10. Koopman, P., Plasmeijer, R.: Systematic synthesis of λ-terms. In: Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday (2007)
11. Lämmel, R., Jones, S.P.: Scrap your boilerplate: A practical design pattern for generic programming. In: TLDI 2003, pp. 26-37 (2003)
12. Morris, P.: Constructing Universes for Generic Programming. PhD thesis, The University of Nottingham (2007)
13. Peyton Jones, S., Vytiniotis, D., Weirich, S., Washburn, G.: Simple unification-based type inference for GADTs. In: ICFP 2006, pp. 50-61 (2006)
14. Spivey,M.: Combinators for breadth-first search. Journal of Functional Programming 10(4), 397-408 (2000)
15. Weirich, S.: Higher-order intensional type analysis. In: Le Métayer, D. (ed.) ESOP 2002. LNCS, vol.2305, pp. 98-114. Springer, Heidelberg (2002)
16. Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: POPL 2003, pp. 224-235 (2003)