Published June 2, 2022
| Version v3
Software
Open
Abstract Machines Workshop
- 1. University of Wrocław, Faculty of Mathematics and Computer Science, Poland
Description
This project contains the code accompanying the paper A Simple and Efficient Implementation of Strong Call by Need
by an Abstract Machine.
This research is supported by the National Science Centre of Poland, under grant number 2019/33/B/ST6/00289.
Notes
The VM image contains Semantic Transformer (https://github.com/mbuszka/semantic-transformer) installed that has a separate license.
Files
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:8ecee8214d76e1acde57b67635feea5d
|
14.8 kB | Download |
|
md5:936fed524fd766137512a2aadae20624
|
1.3 GB | Download |