„Session Types“

Suchergebnisse

96 Treffer

• Type Systems for Distributed Programs: Components and Sessions
  Dardha, Ornela 2016 Atlantis Press
• Subtyping for session types in the pi calculus
  Gay, Simon ; Hole, Malcolm
• A bunch of sessions : a propositions-as-sessions interpretation of bunched implications in channel-based concurrency
  Frumin, Dan ; D'Osualdo, Emanuele ; van den Heuvel, Bas ; Pérez, Jorge A. 2022 KOPS Universität Konstanz
• Relating functional and imperative session types
  Saffrich, Hannes ; Thiemann, Peter 2024 Universität
• Mixed choice in session types
  Peters, Kirstin ; Yoshida, Nobuko 2024 Universität Augsburg
• Polymorphic lambda calculus with context-free session types
  Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter ; Vasconcelos, Vasco 2024 Universität
• Composable partial multiparty session types for open systems
  Stolze, Claude ; Miculan, Marino ; Di Gianantonio, Pietro
• Gradual session types
  Igarashi, Atsushi ; Thiemann, Peter ; Vasconcelos, Vasco ; Wadler, Philip 2021 Universität
• Gradual session types
  Thiemann, Peter ; Tsuda, Yuya ; Igarashi, Atsushi ; Vasconcelos, Vasco ; Wadler, Philip 2021 Universität
• Label-dependent session types
  Thiemann, Peter ; Vasconcelos, Vasco T. 2021 Universität
• The effects of strength training session with different types of muscle action on white blood cells counting and Th1/Th2 response
  Marcucci-Barbosa, Lucas Soares ; Martins-Junior, Francisco de Assis Dias ; Lobo, Lázaro Fernandes ; de Morais, Mariana Gomes ; Aidar, Felipe José ; Vieira, Erica Leandro Marciano ; Nunes-Silva, Albená
• Using session types for reasoning about boundedness in the $$\pi $$ π -calculus
  Hüttel, Hans
• Artifact for "Gradual Session Types", appearing in ACM SIGPLAN International Conference on Functional Programming
  Igarashi, Atsushi ; Thiemann, Peter ; Wadler, Philip ; Vasconcelos, Vasco 2017 Universität
• Artifact for "Gradual Session Types", appearing in ACM SIGPLAN International Conference on Functional Programming
  Igarashi, Atsushi ; Thiemann, Peter ; Wadler, Philip ; Vasconcelos, Vasco ; Saffrich, Hannes 2017 Universität
• Predictors of Involvement in Online Teaching – An Inquiry of Faculty Demographics, Attitude Toward Online, Attended Training sessions, and Faculty Personality Types
  Gunay, Nihal 2015 Scholars' Press
• Multiparty session types as coherence proofs
  Carbone, Marco ; Montesi, Fabrizio ; Schürmann, Carsten ; Yoshida, Nobuko