Publications


Computational Logic

Formal Languages & Automata Theory

  • Visualization and Animation of Automata on Ocsigen Framework [text in Portuguese] - Rita Macedo, Artur Miguel Dias, António Ravara - [Abstract] - [Extended Abstract] - [pdf] - Presented at INForum 2019 - Computer Symposium
  • OCaml-Flat on the Ocsigen Framework (report to support the intermediate evaluation of the dissertation) [text in Portuguese] - Rita Macedo - [Abstract] - [pdf]
  • OCaml-Flat - An OCaml Toolkit for experimenting with formal languages theory (report to support the intermediate evaluation of the dissertation) - João Gonçalves - [Abstract] - [pdf]

Advanced Programming

  • A mechanized proof of correctness of the Horn algorithm - Marco Giunti - [Background] - [pdf]
  • Compiling linear and static channels in Go - Marco Giunti - [pdf]
  • Rewinding functions through CPS - Marco Giunti - [Background] - [pdf]
  • Functional Programming with style and costless: CPS transformation "à la carte" [text in Portuguese] - Tiago Roxo, Mário Pereira, and Simão Melo de Sousa - [Abstract] - [pdf]