Glynn Winskel - Making Concurrency Functional part II - SPLV 2022

414 views

Lab for AI Verification

7 months ago

Glynn Winskel - Making Concurrency Functional part II - SPLV 2022

Glynn Winskel - Making Concurrency Functional part II - SPLV 2022