#

denotational

Here are 3 public repositories matching this topic...

input-output-hk / ce-semantics-dsl

Denotational semantics for the masses

semantics dsl edsl scala3 denotational-semantics tagless-final denotational

Updated Oct 17, 2022
Scala

scholablade / DenotativeLC

Design and Implementation of the DenotativeLC Programming Language

haskell emacs org-mode org-babel denotational

Updated Mar 19, 2024
Haskell

loverdos / ce-semantics-dsl

Denotational semantics for the masses

semantics dsl edsl tagless-final denotational

Updated Oct 17, 2023
Scala

Improve this page

Add a description, image, and links to the denotational topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the denotational topic, visit your repo's landing page and select "manage topics."