Formally correct DSLs
haskell
dsl
formal-semantics
dissertation
metacompiler
domain-specific-language
formal-verification
metalanguage
-
Updated
Jun 5, 2017 - Haskell
Formally correct DSLs
Repositório destinado aos exercícios e trabalhos da disciplina de Semântica Formal
Add a description, image, and links to the formal-semantics topic page so that developers can more easily learn about it.
To associate your repository with the formal-semantics topic, visit your repo's landing page and select "manage topics."