Sciweavers

HASKELL
2006
ACM

Introducing the Haskell equational reasoning assistant

14 years 10 days ago
Introducing the Haskell equational reasoning assistant
We introduce the new, improved version of the Haskell Equational Reasoning Assistant, which consists of an Ajax application for rewriting Haskell fragments in their context, and an API for scripting non-trivial rewrites. Categories and Subject Descriptors D.2.6 [Software Engineering]: Programming Environments – Interactive environments, Programmer workbench. General Terms Design, Experimentation, Languages, Performance, Reliability. Keywords Equational Reasoning, Transformation Tools, Ajax Applications.
Andy Gill
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where HASKELL
Authors Andy Gill
Comments (0)