Tipos Comportamentales y Contratos

Ciencias de la Computación - FCEN - UBA
2do cuatrimestre 2024

Índice

• Prácticas

  • Práctica 1: Binary Session Types
  • Práctica 2: Binary Session Types (Sistema de tipos y tipos infinitos)
  • Práctica 3: FuSe
  • Práctica 4: Subtipado y Cálculo-λ con sesiones

• Final: presentación de un paper

  • Mailbox Types for Unordered Interactions: Ugo de'Liguoro, Luca Padovani
  • Presentación