haskell-semantics
haskell-semantics copied to clipboard
davidlazar
Formal semantics of Haskell in K
This was my first attempt to define a programming language using the K Semantic Framework. The OCaml semantics and LLVM semantics projects were more successful.
davidlazar