denotational

There are 0 repository under denotational topic.

• input-output-hk / ce-semantics-dsl

  Denotational semantics for the masses

  denotationaldenotational-semanticssemanticsdsledslscala3tagless-final
  Language:Scala 7

• loverdos / ce-semantics-dsl

  Denotational semantics for the masses

  denotationalsemanticstagless-finaldsledsl
  Language:Scala 2

• scholablade / DenotativeLC

  Design and Implementation of the DenotativeLC Programming Language

  denotationalemacshaskellorg-babelorg-mode
  Language:Haskell 2