( en | de | ru )

 

Disambiguierung von "Ferreira, Francisco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The Concurrent Calculi Formalisation Benchmark.

, , , , , , , , , , , und . COORDINATION, Volume 14676 von Lecture Notes in Computer Science, Seite 149-158. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Tiago Francisco Santos Ferreira

Ana Helena Ferreira Ferreira

William Ferreira

Yvonne Ferreira

Jennifer Ferreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Compiling contextual objects: bringing higher-order abstract syntax to programmers., , und . PLPV, Seite 13-24. ACM, (2013)Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)., und . Dagstuhl Artifacts Ser., 9 (2): 18:1-18:2 (2023)Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)., und . ECOOP, Volume 263 von LIPIcs, Seite 42:1-42:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Peer-To-Peer Platform Based on Semantic Web Services., , und . WWW (Posters), (2003)Bidirectional Elaboration of Dependently Typed Programs., und . PPDP, Seite 161-174. ACM, (2014)Fair reactive programming., , , und . POPL, Seite 361-372. ACM, (2014)Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes., , , und . PLDI, Seite 237-251. ACM, (2021)EMTST: Engineering the Meta-theory of Session Types., , und . TACAS (2), Volume 12079 von Lecture Notes in Computer Science, Seite 278-285. Springer, (2020)Generating Interactive WebSocket Applications in TypeScript., , , und . PLACES@ETAPS, Volume 314 von EPTCS, Seite 12-22. (2020)Success Factors in a Reward and Equity Based Crowdfunding Campaign., und . ICE/ITMC, Seite 1-8. IEEE, (2018)