default search action

combined dblp search
author search
venue search
publication search

ask others

15th PLACES@ETAPS 2024: Luxembourg City, Luxembourg

> Home > Conferences and Workshops > PLACES
> Home > Conferences and Workshops > ETAPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-03712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-03712
Diana Costa, Raymond Hu:
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 401, 2024
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05475
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05475
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos:
Linear Contextual Metaprogramming and Session Types. 1-10
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-00446
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-00446
Ilaria Castellani, Paola Giannini:
Towards a Semantic Characterisation of Global Type Well-formedness. 11-21
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05478
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05478
Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha:
Session Types for the Transport Layer: Towards an Implementation of TCP. 22-36
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05479
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05479
Simon Fowler, Philipp Haller, Roland Kuhn, Sam Lindley, Alceste Scalas, Vasco T. Vasconcelos:
Behavioural Types for Heterogeneous Systems (Position Paper). 37-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-05480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-05480
Thien Udomsrirungruang, Nobuko Yoshida:
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. 49-60

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.