New tech talk video: Formalizing Haskell 98 in the K semantic framework

  • Date  Time
  • Speaker
  • Location

We are pleased to announced the availability of a new tech talk video,
David Lazar
talking about
formalizing Haskell 98 in the K semantic framework.
For more information, please visit the talk announcement page

For more Galois tech talk videos, please visit our
Vimeo channel.