lvmlib: The Lazy Virtual Machine (LVM).

[ bsd3, compilers-interpreters, library, program ] [ Propose Tags ]

The Lazy Virtual Machine (LVM) defines a portable instruction set and file format. It is specifically designed to execute languages with non-strict (or lazy) semantics. This cabal package defines the core assembler (coreasm) for compiling core programs into LVM instructions and a library. The LVM is used as a backend for the Helium compiler. At the moment, one LVM runtime implementation is available (written in C). More information about LVM can be found in Chapter 6 of Daan Leijen's PhD Thesis, The Lambda Abroad.

Versions 1.0, 1.1
Dependencies array (<0.6), base (>=3 && <4.8), containers (<0.6), directory (<1.3), filepath (<1.4), parsec (<3.2), wl-pprint (<1.3) [details]
License BSD-3-Clause
Copyright (c) 2012
Author Daan Leijen, Bastiaan Heeren, Jurriaan Hage
Revised Revision 1 made by HerbertValerioRiedel at Thu Apr 27 18:48:04 UTC 2017
Category Compilers/Interpreters
Home page
Source repo head: svn checkout
Uploaded by JurriaanHage at Tue Sep 2 10:00:56 UTC 2014
Distributions NixOS:1.1
Executables coreasm
Downloads 1329 total (5 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI




Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees