@hackage funcons-simple0.1.0.7

A modular interpreter for executing SIMPLE funcons

Categories
- Compilers and Interpreters
License
MIT
Maintainer
L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.1.0.7 Fri, 14 Dec 2018
- 0.1.0.5 Fri, 14 Dec 2018
- 0.1.0.3 Thu, 12 Jul 2018

Installation
In your cabal file:
Dependencies (0)
- base >=4.8 && <=5
- funcons-tools >=0.2.0.7
- funcons-values >=0.1.0.5
Dependents (1)
@hackage/acme-everything

The PLanCompS (http://plancomps.org) project has developed a component-based approach to formal semantics. A reusable component of language definition corresponds to a fundamental programming construct: a funcon, which has a fixed operational interpretation. This package provides an interpreter for the funcons of SIMPLE https://plancomps.github.io/CBS-beta/Languages-beta/SIMPLE/ extending the interpreter for the reusable funcons of funcons-tools https://hackage.haskell.org/package/funcons-tools