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

Activity: Talk or presentation typesOral presentation


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