funcons-values
Version 0.1.0.9 revision 2 uploaded by ltvanbinsbergen.
Package meta
- Synopsis
- Library providing values and operations on values in a fixed universe.
- Description
The PLanCompS project (http://plancomps.org) has developed a component-based approach to formal semantics. The semantics of a language is defined by translating its constructs to combinations of `fundamental constructs' called funcons.
This package provides a fixed universe types, values and operations which are lifted to funcons as part of the funcons-tools package (http://hackage.haskell.org/package/funcons-tools).
- Author
- L. Thomas van Binsbergen and Neil Sculthorpe
- Bug reports
- n/a
- Category
- Compilers/Interpreters
- Copyright
- n/a
- Homepage
- http://plancomps.org
- Maintainer
- L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
- Package URL
- n/a
- Stability
- n/a