RSS Meetup (September 2018)
RSS Meetups are monthly gatherings of LASIGE members with interests in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, Formal methods and other topics.
Tom Westerhout (Radboud University, Nijmegen) — Zipper-based embedding of attribute grammars in Haskell
Bernardo Almeida — A Programming Language with Context-Free Session Types
Telmo Santos —Development of REST APIs with OpenAPI and CONFIDENT