Linkedin

Member

Pedro Ângelo

Profile Picture of Pedro Ângelo
  • Email
    pjangelo (at) ciencias.ulisboa.pt
  • Room
    6.3.46
to
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos. Linear Contextual Metaprogramming and Session Types. In Electronic Proceedings in Theoretical Computer Science, pages 1-10. Open Publishing Association, 2024 [Biblios]