Deriving a Relationship from a Single Example

Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instances. While describing the relationship is possible, it is not always an easy task. There is an alternative

• Type: Journal
• Year: 2009
• Where: AAIP
• Authors: Neil Mitchell
• Keywords: AAIP 2009, Domain Specific Language, Generic Functions, Haskell Data Types, Programming Languages