77 search results - page 1 / 16 » Declarative Scripting in Haskell |
SLE
2009
Springer
14 years 5 months ago
2009
Springer
We present a domain-specific language embedded within the Haskell programming language to build scripts in a declarative and typesafe manner. We can categorize script components i...
PADL
1999
Springer
14 years 3 months ago
1999
Springer
JAR
2010
13 years 9 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
HASKELL
2006
ACM
14 years 5 months ago
2006
ACM
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 a...
JFP
2000
13 years 11 months ago
2000
