A DSEL for Studying and Explaining Causation

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 modeling situations comprised of events and functions for reliably determining the complex causal relationships that eme...

Full description

Bibliographic Details
Main Authors: Eric Walkingshaw, Martin Erwig
Format: Article
Language:English
Published: Open Publishing Association 2011-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1109.0780v1