haskell-semantics icon indicating copy to clipboard operation
haskell-semantics copied to clipboard

Published 20 hours ago • verified publisher icon davidlazar
→

Metadata

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.

← Metadata

15
Stars
0
Forks
Watchers

Owner

verified publisher icon davidlazar

Metadata

Formal semantics of Haskell in K

Back