Linkedin
RSS Meetup: Simon Fowler

RSS Meetup: Simon Fowler

RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Behavioural Types for Actor Languages: Lessons...