« Tech Talk: Efficient Implementation of Property Directed Reachability | Main | Galois Tech Talk (3/3 next week!): On deadlock verification in micro-architectural models of communication fabrics. »

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

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.

Reader Comments

There are no comments for this journal entry. To create a new comment, use the form below.

PostPost a New Comment

Enter your information below to add a new comment.

My response is on my own website »
Author Email (optional):
Author URL (optional):
Some HTML allowed: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <code> <em> <i> <strike> <strong>