Publications (6)
Programming with Ellipses
Martin Erwig, Hangil Kim
We present the design of a language extension that allows the use of ellipses ("...") in patterns and expressions, which facilitates function definitions on lists that are more suc…
Intersectionality Goes Analytical: Taming Combinatorial Explosion Through Type Abstraction
Margaret Burnett, Martin Erwig, Abrar Fallatah +2
HCI researchers' and practitioners' awareness of intersectionality has been expanding, producing knowledge, recommendations, and prototypes for supporting intersectional population…
Adaptation-Based Programming in Haskell
Tim Bauer, Martin Erwig, Alan Fern +1
We present an embedded DSL to support adaptation-based programming (ABP) in Haskell. ABP is an abstract model for defining adaptive values, called adaptives, which adapt in respons…
Explaining Results of Multi-Criteria Decision Making
Martin Erwig, Prashant Kumar
We introduce a method for explaining the results of various linear and hierarchical multi-criteria decision-making (MCDM) techniques such as WSM and AHP. The two key ideas are (A)…
Typed Table Transformations
Martin Erwig
Spreadsheet tables are often labeled, and these labels effectively constitute types for the data in the table. In such cases tables can be considered to be built from typed data wh…
A DSEL for Studying and Explaining Causation
Eric Walkingshaw, Martin Erwig
We present a domain-specific embedded language (DSEL) in Haskell that supports the philosophical study and practical explanation of causation. The language provides constructs for…