John Launchbury presented a Galois Developer Symposium lunch on March 4th, 2010, where he presented the semantics for asynchronous exceptions in Haskell. In particular, discussion concentrated on the interactions between Concurrent Haskell, laziness and exceptions.Follow the talk online, or download the pdf.
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 postsThe Semantics of Asynchronous Exceptions
- Date Time
- Speaker
- Location