Results 41 to 50 of about 5,211,336 (107)

Session Types with Gradual Typing

, 2014
. Session types enable fine-grained static control over communication protocols. Gradual typing is a means to safely integrate statically and dynamically typed program fragments.
Thiemann, Peter, Peter Thiemann
core   +1 more source

Refining multiparty session types

A distributed system consists of various components working in coordination, usually following a specified protocol. Multiparty session types (MPST) are a typing discipline for distributed programming with message passing concurrency.
Zhou, Fangyi
core   +1 more source

Lightweight Functional Session Types

, 2016
Session types describe communication protocols, capturing both the type and the order of messages. Recently, we presented a se-mantics for a core session-typed linear λ-calculus, GV, and proved that it enjoys a number of desirable properties beyond type ...
Lindley, Sam, Morris, J. Garrett, J. Garrett Morris, Sam Lindley   +3 more
core  

Session Types

Session types are type-theoretic specifications of communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct.
Gay, Simon J., Vasconcelos, Vasco T.
core   +1 more source

Type and Effect Systems for Dynamically Changing Code - DRAFT CORRECTIONS, DO NOT DISTRIBUTE

We extend type and effect analyses to permit dynamically changing effects and dynamically changing code in multi-threaded systems with shared resources.
Anderson, Gabrielle
core   +1 more source

Session Types for Functional Multithreading

, 2005
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking.
Gay, Simon, Vasconcelos, Vasco T., Ravara, António   +2 more
core   +2 more sources

Modelling session types using contracts

, 2012
Session types and contracts are two formalisms used to study clientserver protocols. In this paper we study the relationship between them. The main result is the existence of a fully abstract model of session types; this model is based on a natural ...
Giovanni Bernardi, Matthew Hennessy
core  

Offline generative network reconfiguration guides insight-like accelerated learning by assimilation into schema in rats. [PDF]

Nat Commun
Bhattarai B, Dragoi G.
europepmc   +1 more source

Investigating Automatic Vocal Rise Time Measurement Parameters and Multi-Corpus Vowel Onset Behavior with the Voice Onset Analysis Tool (VOAT). [PDF]

Bioengineering (Basel)
Stasak B, Holik J, Nguyen DD, Arias-Vergara T, Döllinger M, Madill C.   +5 more
europepmc   +1 more source

Venous Oxygenation Measurements in the Upper Arm: Reproducibility and Sensitivity to a Physical Challenge. [PDF]

Magn Reson Med
Fernandes JD, Baas KPA, Caan MWA, Biemond BJ, Wood JC, Nederveen AJ.   +5 more
europepmc   +1 more source