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.


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