HaLVM公司 swMATH ID: 32968 软件作者： Galois公司。 描述： HaLVM:Haskell轻量级虚拟机（HaLVM）是Glasgow Haskell编译器工具套件的一个端口，使开发人员能够编写可以直接在Xen系统管理程序上运行的高级轻量级虚拟机。虽然Galois最初设计HaLVM是为了实现操作系统组件的快速而简单的原型制作，但随着时间的推移，HaLVM已经发展到可以实现更广泛的用例。例如，当与适当的库连接时，HaLVM可以作为网络设备运行 主页： http://corp.galois.com/halfum 源代码： https://github.com/GaloisInc/HaLVM 依赖项： 哈斯克尔 相关软件： github；重量（Lwt）；MultiMLton公司；异步；甲骨文公司；GHC公司；哈斯克尔 引用于： 1文件 由4位作者引用 1 蒂姆·哈里斯 1 西蒙·马洛 1 西蒙·琼斯（Simon L.Peyton Jones）。 1 Sivaramakrishnan，K.C。 连载1篇 1 函数编程杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文