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.
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.
Formal semantics of Haskell in K