Výsledky vyhľadávania - "Computer Science - Programming Languages"

Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers) Autor Castagna, Giuseppe

“…Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of…”
Získať plný text

Checkpoint-based rollback recovery in session programming Autor Mezzina, Claudio Antares, Tiezzi, Francesco, Yoshida, Nobuko

“…To react to unforeseen circumstances or amend abnormal situations in communication-centric systems, programmers are in charge of "undoing" the interactions…”
Získať plný text

Deconfined Global Types for Asynchronous Sessions Autor Dagnino, Francesco, Giannini, Paola, Dezani-Ciancaglini, Mariangiola

“…Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems…”
Získať plný text

Formalization of Quantum Intermediate Representations for code safety Autor Junjie Luo, Jianjun Zhao

Získať plný text

Handling Algebraic Effects Autor Plotkin, Gordon D, Pretnar, Matija

“…Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of…”
Získať plný text

Fair Asynchronous Session Subtyping Autor Bravetti, Mario, Lange, Julien, Zavattaro, Gianluigi

“…Session types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of…”
Získať plný text

A robust graph-based approach to observational equivalence Autor Ghica, Dan R., Muroya, Koko, Ambridge, Todd Waugh

“…We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our…”
Získať plný text

Monads need not be endofunctors Autor Altenkirch, Thosten, Chapman, James, Uustalu, Tarmo

“…We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include…”
Získať plný text

Crash-Stop Failures in Asynchronous Multiparty Session Types Autor Barwell, Adam D., Hou, Ping, Yoshida, Nobuko, Zhou, Fangyi

“…Session types provide a typing discipline for message-passing systems. However, their theory often assumes an ideal world: one in which everything is reliable…”
Získať plný text

Separating Sessions Smoothly Autor Fowler, Simon, Kokke, Wen, Dardha, Ornela, Lindley, Sam, Morris, J. Garrett

“…This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom,…”
Získať plný text

HpC: A Calculus for Hybrid and Mobile Systems: Full Version Autor Xu, Xiong, Talpin, Jean-Pierre, Wang, Shuling, Wu, Hao, Zhan, Bohua, Liu, Xinxin, Zhan, Naijun

“…Networked cybernetic and physical systems of the Internet of Things (IoT) immerse civilian and industrial infrastructures into an interconnected and dynamic…”
Získať plný text

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation Autor Bravetti, Mario, Carbone, Marco, Lange, Julien, Yoshida, Nobuko, Zavattaro, Gianluigi

“…Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming…”
Získať plný text

Disentangling Parallelism and Interference in Game Semantics Autor Castellan, Simon, Clairambault, Pierre

“…Game semantics is a denotational semantics presenting compositionally the computational behaviour of various kinds of effectful programs. One of its celebrated…”
Získať plný text

Relational$\star$ -Liftings for Differential Privacy Autor Barthe, Gilles, Espitau, Thomas, Hsu, Justin, Sato, Tetsuya, Strub, Pierre-Yves

“…Recent developments in formal verification have identified approximate liftings (also known as approximate couplings) as a clean, compositional abstraction for…”
Získať plný text

Rast: A Language for Resource-Aware Session Types Autor Das, Ankush, Pfenning, Frank

“…Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to…”
Získať plný text

On the Semantic Expressiveness of Iso- and Equi-Recursive Types Autor Devriese, Dominique, Martin, Eric Mark, Patrignani, Marco

“…Recursive types extend the simply-typed lambda calculus (STLC) with the additional expressive power to enable diverging computation and to encode recursive…”
Získať plný text

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic Autor Accattoli, Beniamino

“…This paper introduces the exponential substitution calculus (ESC), a new presentation of cut elimination for IMELL, based on proof terms and building on the…”
Získať plný text

revTPL: The Reversible Temporal Process Language Autor Bocchi, Laura, Lanese, Ivan, Mezzina, Claudio Antares, Yuen, Shoji

“…Reversible debuggers help programmers to find the causes of misbehaviours in concurrent programs more quickly, by executing a program backwards from the point…”
Získať plný text

Dynamic Choreographies: Theory And Implementation Autor Preda, Mila Dalla, Gabbrielli, Maurizio, Giallorenzo, Saverio, Lanese, Ivan, Mauro, Jacopo

“…Programming distributed applications free from communication deadlocks and race conditions is complex. Preserving these properties when applications are…”
Získať plný text

A Calculus for Scoped Effects & Handlers Autor Bosman, Roger, Berg, Birthe van den, Tang, Wenhao, Schrijvers, Tom

“…Algebraic effects & handlers have become a standard approach for side-effects in functional programming. Their modular composition with other effects and clean…”
Získať plný text