Generic functional programming conceptual design, implementation and applications

[1]  Marko C. J. D. van Eekelen,et al.  Functional Programming and Parallel Graph Rewriting , 1993 .

[2]  Flemming Nielson,et al.  Semantics with applications - a formal introduction , 1992, Wiley professional computing.

[3]  Johan Jeuring,et al.  A Framework for Polytypic Programming on Terms, with an Application to Rewriting , 2000 .

[4]  Simon L. Peyton Jones,et al.  Report on the programming language Haskell: a non-strict, purely functional language version 1.2 , 1992, SIGP.

[5]  Ulf Norell,et al.  Polytypic Programming in Haskell , 2003, IFL.

[6]  Peter Achten,et al.  A tutorial to the Clean object I/O library : version 1.2 , 2000 .

[7]  A. Alimarine,et al.  Efficient Generic Functional Programming , 2005 .

[8]  Marko C. J. D. van Eekelen,et al.  Compositional Model-Views with Generic Graphical User Interfaces , 2004, PADL.

[9]  Lennart Augustsson,et al.  Cayenne—a language with dependent types , 1998, ICFP '98.

[10]  Hendrik Brinksma,et al.  Côte de Resyste : Automated Model Based Testing , 2002 .

[11]  Johan Jeuring,et al.  Polytypic data conversion programs , 2002, Sci. Comput. Program..

[12]  Ralf Lämmel,et al.  Typed Combinators for Generic Traversal , 2002, PADL.

[13]  Marinus J. Plasmeijer,et al.  Lazy Dynamic Input/Output in the Lazy Functional Language Clean , 2002, IFL.

[14]  Johan Jeuring,et al.  Polytypic Compact Printing and Parsing , 1999, ESOP.

[15]  Sjaak Smetsers,et al.  Optimizing Generic Functions , 2004, MPC.

[16]  Michael Leuschel,et al.  Homeomorphic Embedding for Online Termination , 1998 .

[17]  Simon L. Peyton Jones,et al.  Practical type inference for arbitrary-rank types , 2007, Journal of Functional Programming.

[18]  Jan Tretmans,et al.  On-the-Fly Formal Testing of a Smart Card Applet , 2004 .

[19]  Colin Runciman,et al.  Inductive benchmarking for purely functional data structures , 2001, J. Funct. Program..

[20]  Koen Claessen,et al.  QuickCheck: a lightweight tool for random testing of Haskell programs , 2000, ICFP.

[21]  Martín Abadi,et al.  Dynamic typing in a statically-typed language , 1989, POPL '89.

[22]  R. Hindley.  The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .

[23]  Marko C. J. D. van Eekelen,et al.  GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications , 2004, Advanced Functional Programming.

[24]  Peter Thiemann,et al.  Realistic compilation by partial evaluation , 1996, PLDI '96.

[25]  James Cheney,et al.  A lightweight implementation of generics and dynamics , 2002, Haskell '02.

[26]  Thorsten Altenkirch,et al.  Generic Programming within Dependently Typed Programming , 2002, Generic Programming.

[27]  Ronny Wichers Schreur,et al.  Dynamic Construction of Generic Functions , 2004, IFL.

[28]  Michel R. V. Chaudron,et al.  Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods , 2001, Formal Methods Syst. Des..

[29]  Akihiko Takano,et al.  Shortcut deforestation in calculational form , 1995, FPCA '95.

[30]  M PaulHudakEt,et al.  Report on the programming language haskell: a non-strict , 1992 .

[31]  E. R I K B A R En D S E N,et al.  Uniqueness Typing for Functional Languages with Graph Rewriting Semantics , 1996 .

[32]  Philip Wadler,et al.  How to make ad-hoc polymorphism less ad hoc , 1989, POPL '89.

[33]  John Hughes,et al.  Report on the Programming Language Haskell 98 , 1999 .

[34]  Wei-Ngan Chin,et al.  Safe fusion of functional expressions II: Further improvements , 1994, Journal of Functional Programming.

[35]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[36]  M.C.J.D. van Eekelen,et al.  Reasoning about explicit strictness in a lazy language using mixed lazy/strict semantics , 2002 .

[37]  Johan Jeuring,et al.  PolyP—a polytypic programming language extension , 1997, POPL '97.

[38]  Marko C. J. D. van Eekelen,et al.  Generic Graphical User Interfaces , 2003, IFL.

[39]  Philip Wadler,et al.  Comprehending monads , 1990, Mathematical Structures in Computer Science.

[40]  Simon L. Peyton Jones,et al.  Derivable Type Classes , 2001, Haskell.

[41]  Marie-Claude Gaudel,et al.  Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..

[42]  Ralf Hinze,et al.  A Generic Programming Extension for Haskell , 1999 .

[43]  VytiniotisDimitrios,et al.  Practical type inference for arbitrary-rank types , 2007 .

[44]  Marinus J. Plasmeijer,et al.  When Generic Functions Use Dynamic Values , 2002, IFL.

[45]  Robin Milner,et al.  Principal type-schemes for functional programs , 1982, POPL '82.

[46]  Ralf Lämmel,et al.  Dealing with large bananas , 2000 .

[47]  Ralf Hinze,et al.  Combining Generics and Dynamics , 2002 .

[48]  Marinus J. Plasmeijer,et al.  Towards a Strongly Typed Functional Operating System , 2002, IFL.

[49]  C. Barry Jay,et al.  The pattern calculus , 2004, TOPL.

[50]  Stephanie Weirich,et al.  Higher-Order Intensional Type Analysis , 2002, ESOP.

[51]  Koen Claessen,et al.  Testing monadic code with QuickCheck , 2002, Haskell '02.

[52]  Johan Jeuring,et al.  Polytypic Unification , 1998, J. Funct. Program..

[53]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[54]  Simon L. Peyton Jones,et al.  Scrap your boilerplate: a practical design pattern for generic programming , 2003, TLDI '03.

[55]  Andres Löh,et al.  Generic Haskell, Specifically , 2002, Generic Programming.

[56]  Andrzej Filinski,et al.  A Semantic Account of Type-Directed Partial Evaluation , 1999, PPDP.

[57]  Benjamin C. Pierce,et al.  Types and programming languages: the next generation , 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..

[58]  Alan Mycroft,et al.  Polymorphic Type Schemes and Recursive Definitions , 1984, Symposium on Programming.

[59]  Ralf Hinze,et al.  Polytypic values possess polykinded types , 2000, Sci. Comput. Program..

[60]  Martin Odersky,et al.  Putting type annotations to work , 1996, POPL '96.

[61]  Martín Abadi,et al.  Dynamic typing in polymorphic languages , 1995, Journal of Functional Programming.

[62]  Sjaak Smetsers,et al.  Fusion in Practice , 2002, IFL.

[63]  Marko C. J. D. van Eekelen,et al.  CLEAN: A language for functional graph writing , 1987, FPCA.

[64]  Kenneth J. Turner,et al.  Protocol-Inspired Hardware Testing , 1999, IWTCS.

[65]  C. Barry Jay.  Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types , 2001, TLCA.

[66]  Simon L. Peyton Jones,et al.  Scrap more boilerplate: reflection, zips, and generalised casts , 2004, ICFP '04.

[67]  Nicolae Goga,et al.  Formal Test Automation: A Simple Experiment , 1999, IWTCS.

[68]  Loe M. G. Feijs,et al.  Conformance Testing of a Multimedia System Using PHACT , 1998, IWTCS.

[69]  Ralf Hinze,et al.  Generic Haskell: Applications , 2003, Generic Programming.

[70]  Marko C. J. D. van Eekelen,et al.  Concurrent Clean , 1991, PARLE.

[71]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[72]  Marco Pil.  Dynamic Types and Type Dependent Functions , 1998, IFL.

[73]  Wei-Ngan Chin,et al.  Better Consumers for Program Specializations , 1996, J. Funct. Log. Program..

[74]  Eelco Visser,et al.  The Essence of Strategic Programming , 2002 .

[75]  A. Alimarine,et al.  Fusing Generic Functions , 2004 .

[76]  Thierry Jéron,et al.  Using On-The-Fly Verification Techniques for the Generation of test Suites , 1996, CAV.

[77]  P. Medawar.  A view from the left , 1984, Nature.

[78]  Thierry Jéron,et al.  Automated test generation from SDL specifications , 1999, SDL Forum.

[79]  Marko C. J. D. van Eekelen,et al.  Automatic Generation of Editors for Higher-Order Data Structures , 2004, APLAS.

[80]  Roland Carl Backhouse,et al.  Generic Properties of Datatypes , 2003, Generic Programming.

[81]  Robert Harper,et al.  Compiling polymorphism using intensional type analysis , 1995, POPL '95.

[82]  Marko C. J. D. van Eekelen,et al.  Graph Rewriting Semantics for Functional Programming Languages , 1996, CSL.

[83]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[84]  Marinus J. Plasmeijer,et al.  Theorem Proving for functional Programmers - Sparkle: A Functional Theorem Prover , 2001 .

[85]  Ralf Hinze,et al.  The Generic Haskell user's guide , 2001 .

[86]  Philip Wadler,et al.  Deforestation: Transforming Programs to Eliminate Trees , 1990, Theor. Comput. Sci..

[87]  Jesper Jørgensen,et al.  Generating a compiler for a lazy language by partial evaluation , 1992, POPL '92.

[88]  Marinus J. Plasmeijer,et al.  A Generic Programming Extension for Clean , 2001, IFL.

[89]  Ralf Hinze,et al.  A new approach to generic functional programming , 2000, POPL '00.

[90]  Ralf Lämmel,et al.  A Strafunski Application Letter , 2003, PADL.

[91]  Ulf Norell,et al.  Prototyping Generic Programming in Template Haskell , 2004, MPC.