Search Results - "Computer Science - Programming Languages"

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

“…Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of…”
Get full text

Checkpoint-based rollback recovery in session programming by 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…”
Get full text

Deconfined Global Types for Asynchronous Sessions by 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…”
Get full text

Handling Algebraic Effects by 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…”
Get full text

Fair Asynchronous Session Subtyping by 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…”
Get full text

A robust graph-based approach to observational equivalence by 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…”
Get full text

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

“…We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include…”
Get full text

Crash-Stop Failures in Asynchronous Multiparty Session Types by 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…”
Get full text

Separating Sessions Smoothly by 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,…”
Get full text

HpC: A Calculus for Hybrid and Mobile Systems: Full Version by 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…”
Get full text

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation by 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…”
Get full text

Disentangling Parallelism and Interference in Game Semantics by 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…”
Get full text

Relational$\star$ -Liftings for Differential Privacy by 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…”
Get full text

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

“…Traditional session types prescribe bidirectional communication protocols for concurrent computations, where well-typed programs are guaranteed to adhere to…”
Get full text

On the Semantic Expressiveness of Iso- and Equi-Recursive Types by 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…”
Get full text

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic by 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…”
Get full text

revTPL: The Reversible Temporal Process Language by 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…”
Get full text

Dynamic Choreographies: Theory And Implementation by 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…”
Get full text

A Calculus for Scoped Effects & Handlers by 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…”
Get full text

Reasonable Space for the${\lambda}$ -Calculus, Logarithmically by Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

“…Can the$\lambda$ -calculus be considered a reasonable computational model? Can we use it for measuring the time$\textit{and}$space consumption of algorithms?…”
Get full text