|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ton Smeele, Sung-Shik Jongmans |
Choreographic Programming of Isolated Transactions. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ross Horne, Luca Padovani |
A Logical Account of Subtyping for Session Types. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini |
A Declarative Validator for GSOS Languages. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ilaria Castellani, Alceste Scalas (eds.) |
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dominic Orchard, Mihail Munteanu, Paulo Torrens |
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos |
Kind Inference for the FreeST Programming Language. |
PLACES@ETAPS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Liew, Tiago Cogumbreiro, Julien Lange |
Provable GPU Data-Races in Static Race Detection. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Diana Costa 0001, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos |
Higher-order Context-free Session Types in System F. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini |
Asynchronous Sessions with Input Races. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marco Carbone, Rumyana Neykova (eds.) |
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Marshall 0001, Dominic Orchard |
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Cimini |
Lang-n-Send: Processes That Send Languages. |
PLACES@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos |
Mixed Sessions: the Other Side of the Tape. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Shunsuke Kimura 0002, Keigo Imai |
Fluent Session Programming in C#. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Bas van den Heuvel 0001, Jorge A. Pérez 0001 |
Session Type Systems based on Linear Logic: Classical versus Intuitionistic. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Balzer, Luca Padovani (eds.) |
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Simon J. Gay, Peter Thiemann 0001, Vasco T. Vasconcelos |
Duality of Session Types: The Final Cut. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anson Miu, Francisco Ferreira 0001, Nobuko Yoshida, Fangyi Zhou 0002 |
Generating Interactive WebSocket Applications in TypeScript. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Dilley, Julien Lange |
Bounded verification of message-passing concurrency in Go using Promela and Spin. |
PLACES@ETAPS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan King, Nicholas Ng, Nobuko Yoshida |
Multiparty Session Type-safe Web Development with Static Linearity. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Assel Altayeva, Nobuko Yoshida |
Service Equivalence via Multiparty Session Type Isomorphisms. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos |
FreeST: Context-free Session Types in a Functional Language. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan de Muijnck-Hughes, Edwin C. Brady, Wim Vanderbauwhede |
Value-Dependent Session Design in a Dependently Typed Language. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Dominic Orchard (eds.) |
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Klaas Pruiksma, Frank Pfenning |
A Message-Passing Interpretation of Adjoint Logic. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rosita Gerbo, Luca Padovani |
Concurrent Typestate-Oriented Programming in Java. |
PLACES@ETAPS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Fredrik Sommar |
Towards an Empirical Study of Affine Types for Isolated Actors in Scala. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sanjiva Prasad |
Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Ludvig Axelsson |
Quantifying and Explaining Immutability in Scala. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hendrik Maarand, Tarmo Uustalu |
Generating Representative Executions [Extended Abstract]. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eva Graversen, Iain Phillips 0001, Nobuko Yoshida |
Towards a Categorical Representation of Reversible Event Structures. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Alceste Scalas, Nobuko Yoshida |
Multiparty Session Types, Beyond Duality (Abstract). |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Elias Castegren, Tobias Wrigstad |
Actors without Borders: Amnesty for Imprisoned State. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel |
Inferring Types for Parallel Programs. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vasco T. Vasconcelos, Philipp Haller (eds.) |
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. |
PLACES@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|