Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
hal_authIdPerson_i : 1114103
Image document

Relating Functional and Imperative Session Types

Hannes Saffrich , Peter Thiemann
23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.61-79, ⟨10.1007/978-3-030-78142-2_4⟩
Conference papers hal-03387840v1