Contributed long talk TYPES 2022: TypOS: An “Operating System” for Typechecking Actors

Activity: Talk or presentation types › Oral presentation

Description

Selected for a longer presentation by Programme Committee
Period22 Jun 2022
Event title28th International Conference on Types for Proofs and Programs
Event typeConference
Conference number28
LocationNantes, FranceShow on map
Degree of RecognitionInternational

Documents & Links

  • Abstract

    File: application/pdf, 200 KB

    Type: Text