·
15 commits
to pldi-paper
since this release
An extension of the MLang compiler which supports:
- Product extension
- Definition and extension of
cosyntypes. - Definition and extension of
cosemfunctions. - Add support for product extension to the type system.