Resource aware calculi for programming languages

Type ID Title Year DOI Status Thesis Imported from Authenticus? Participants Participants (Role) Participants (Affiliation) Indexing Scientific classification Institutions
Thesis 442179 Resource aware calculi for programming languages 2019 Version verified Resource aware calculi for programming languages - Master's Degree No
  • InÍs Duarte Lima
  • (Author)
  • FCUP
  • FOS : Natural sciences