Lambda the Ultimate

I came across this link while searching for programming languages related to accounting: http://en.wikipedia.org/wiki/ABLE_programming_language.

Unfortunately the link is a bit of a dead-end. None of the Wikipedia links lead anywhere useful.

Has anyone every heard of ABLE before? Or better yet programmed in it?

Does anyone have links to sites that might reference this lanuage? Google seems to know nothing about ABLE.

Back to my original search, are there any languages you are aware of that are focused on accounting?

Languages with implicit parallelism are easier to program in than those with explicit parallelism, but finding and efficiently exploiting parallelism in general-purpose programming languages by parallelizing compilers is hard. A compiler for a Very High Level Language, designed for a specific application domain, has more knowledge about its application domain and may use this knowledge to generate efficient parallel code without requiring the programmer to deal with explicit parallelism. To investigate this idea, we designed Multigame, a Very High Level Language for describing board games. A Multigame program is a formal description of the rules of a game, from which the Multigame compiler automatically generates a parallel game playing program.

An amusing DSL, and an interesting investigation of implicit parallelism.

Also see this later paper.

It would be nice to find a downloadable implementation, by the way.

Of particular intest is the endorsement of Pugs, and the fact that Haskell is mentioned by name.