Haskell Gets Argumentative

This paper presents a formalisation of a particular computational argumentation framework, Carneades, as a case study with a view to investigate the extent to which functional languages are useful as a means to realising computational argueation frameworks and reason about them.