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.
Categories
- Artificial Intelligence
- Conferences
- Cryptography
- Cyber-Physical Systems
- Data Science
- Demo
- Digital Engineering
- Domain Specific Languages
- Elections
- Formal Methods
- Functional Programming
- Hardware
- Highlights
- Human Factors Engineering
- Life at Galois
- Machine Learning
- Mobile Security
- Network Security
- News
- Open-source
- Security
- Systems Software
- Tech Talks
- Tools
- Uncategorized
Subscribe
Get notified about new postsNew tech talk video: Formalizing Haskell 98 in the K semantic framework
- Date Time
- Speaker
- Location