The secdh package

[Tags: bsd3, library, program]

SECDH stands for Stack-Environment-Code-Dump-Heap, and is an abstract machine based on Landin's classic SECD machine for evaluation of lambda-calculus expressions. This machine adds a heap of suspension cells to the structure managed by the machine, allowing fully-lazy evaluation, similar to Haskell. The machine operates directly on the syntax tree, as Landin's machine does. The entire implementation, including parser, evaluator, and garbage collector, occupies just over 1100 lines of code.


Versions0.1, 0.2
Dependenciesbase (==4.*), containers (>=0.4), secdh
AuthorPeter Gavin
Home page
Source repositoryhead: git clone
UploadedTue Mar 13 13:08:50 UTC 2012 by PeterGavin
Downloads228 total (18 in last 30 days)
StatusDocs not available [build log]
Successful builds reported [all 1 reports]



Maintainers' corner

For package maintainers and hackage trustees