Domain-Aware Session Types

Luis Caires, Jorge A. Pérez, Frank Pfenning, Bernardo Toninho

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)
45 Downloads (Pure)

Search results