RSS Meetup (September 2018)

Monday, September 24, 2018 - 21:15

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.

Program:

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