Imagen de Portada

Behavioural Types for Heterogeneous Systems (Position Paper)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fowler, Simon, Haller, Philipp, Kuhn, Roland, Lindley, Sam, Scalas, Alceste, Vasconcelos, Vasco T.
Formato:	Preprint
Publicado:	2024
Materias:	Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

JoinActors: A Modular Library for Actors with Join Patterns
por: Hussein, Ayman, et al.
Publicado: (2026)

Encoding Petri Nets into CCS (Technical Report)
por: Bogø, Benjamin, et al.
Publicado: (2024)

Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and Implementation (Technical Report)
por: Rowicki, Radosław Jan, et al.
Publicado: (2025)

NEST: Network Enforced Session Types (Technical Report)
por: Larsen, Jens Kanstrup, et al.
Publicado: (2026)

Separating Sessions Smoothly
por: Fowler, Simon, et al.
Publicado: (2021)

Local Type Inference for Context-Free Session Types
por: Almeida, Bernardo, et al.
Publicado: (2025)

Contextual Metaprogramming for Session Types
por: Ângelo, Pedro, et al.
Publicado: (2026)

Rows and Capabilities as Modal Effects
por: Tang, Wenhao, et al.
Publicado: (2025)

Linear Contextual Metaprogramming and Session Types
por: Ângelo, Pedro, et al.
Publicado: (2024)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
por: Fowler, Simon, et al.
Publicado: (2026)

Modal Effect Types
por: Tang, Wenhao, et al.
Publicado: (2024)

Multiparty Session Types with a Bang!
por: Brun, Matthew Alan Le, et al.
Publicado: (2025)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
por: Hummelgren, Lars, et al.
Publicado: (2022)

Special Delivery: Programming with Mailbox Types (Extended Version)
por: Fowler, Simon, et al.
Publicado: (2023)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
por: Kammar, Ohad, et al.
Publicado: (2026)

Soundly Handling Linearity
por: Tang, Wenhao, et al.
Publicado: (2023)

TypeDis: A Type System for Disentanglement
por: Moine, Alexandre, et al.
Publicado: (2025)

Failure Transparency in Stateful Dataflow Systems (Technical Report)
por: Veresov, Aleksey, et al.
Publicado: (2024)

Orthologic Type Systems
por: Guilloud, Simon, et al.
Publicado: (2025)

Scoped Effects as Parameterized Algebraic Theories
por: Matache, Cristina, et al.
Publicado: (2024)

ProDebug: An Automated Debugging System for Prolog
por: Brancas, Ricardo, et al.
Publicado: (2026)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
por: Leißa, Roland, et al.
Publicado: (2024)

Compositional Design, Implementation, and Verification of Swarms (Technical Report)
por: Furbach, Florian, et al.
Publicado: (2026)

On Asynchronous Multiparty Session Types for Federated Learning
por: Prokić, Ivan, et al.
Publicado: (2025)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
por: Arbore, Russel, et al.
Publicado: (2025)

The Design Principles of the Elixir Type System
por: Castagna, Giuseppe, et al.
Publicado: (2023)

Higher-Order Behavioural Conformances via Fibrations
por: Urbat, Henning
Publicado: (2025)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
por: Arbore, Russel, et al.
Publicado: (2024)

Information Aware Type Systems and Telescopic Constraint Trees
por: Cowderoy, Philippa
Publicado: (2024)

A Sound Type System for Secure Currency Flow
por: Aceto, Luca, et al.
Publicado: (2024)

Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus
por: Vasconcelos, Pedro, et al.
Publicado: (2024)

Composing Automatic Differentiation with Custom Derivatives of Higher-Order Functions
por: Estep, Sam
Publicado: (2024)

Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
por: Bao, Yuyan, et al.
Publicado: (2025)

A Type System for Data Privacy Compliance in Active Object Languages
por: Baramashetru, Chinmayi Prabhu, et al.
Publicado: (2025)

Impredicativity in Linear Dependent Type Theory
por: Speight, Sam, et al.
Publicado: (2026)

Kotlin's Type System is (Also) Unsound
por: Kinsbruner, Elad, et al.
Publicado: (2024)

Towards Algebraic Subtyping for Extensible Records
por: Marques, Rodrigo, et al.
Publicado: (2024)

Evaluating Program Semantics Reasoning with Type Inference in System F
por: He, Yifeng, et al.
Publicado: (2025)

A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
por: Kaddar, Younesse, et al.
Publicado: (2023)

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
por: He, Siyuan, et al.
Publicado: (2025)