Computational Logic

Formal Languages & Automata Theory

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]