Výsledky vyhledávání - "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ískat 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ískat plný text

A pragma based C++ framework for hybrid quantum/classical computation Autor Koska, Océane, Gazda, Arnaud

“…Quantum computers promise exponential speed ups over classical computers for various tasks. This emerging technology is expected to have its first huge impact…”
Získat plný text

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

Získat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

On the Termination Problem for Probabilistic Higher-Order Recursive Programs Autor Kobayashi, Naoki, Lago, Ugo Dal, Grellois, Charles

“…In the last two decades, there has been much progress on model checking of both probabilistic systems and higher-order programs. In spite of the emergence of…”
Získat 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ískat plný text