77 search results - page 1 / 16 » Declarative Scripting in Haskell |
65
Voted
SLE
2009
Springer
15 years 6 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...
100
Voted
PADL
1999
Springer
15 years 3 months ago
1999
Springer
113
click to vote
JAR
2010
14 years 10 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...
102
Voted
HASKELL
2006
ACM
15 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...
75
Voted
JFP
2000
14 years 11 months ago
2000
