Copertina

Linear Contextual Metaprogramming and Session Types

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Ângelo, Pedro, Igarashi, Atsushi, Vasconcelos, Vasco T.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
di: Jang, Junyoung, et al.
Pubblicazione: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
di: Barwell, Adam D., et al.
Pubblicazione: (2023)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
di: Derakhshan, Farzaneh, et al.
Pubblicazione: (2024)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
di: Casetta, Richard, et al.
Pubblicazione: (2026)

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

Dependent Multiplicities in Dependent Linear Type Theory
di: Doré, Maximilian
Pubblicazione: (2025)

Fair Asynchronous Session Subtyping
di: Bravetti, Mario, et al.
Pubblicazione: (2021)

On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System
di: Matsuoka, Satoshi
Pubblicazione: (2026)

Syntax and Semantics of Linear Dependent Types
di: Vákár, Matthijs
Pubblicazione: (2014)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
di: Li, Kwing Hei, et al.
Pubblicazione: (2025)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis $-$ Dynamic Inference of Non-Linear Inequality Invariants
di: Rustenholz, Louis, et al.
Pubblicazione: (2024)

Type Theory With Erasure
di: Theocharis, Constantine, et al.
Pubblicazione: (2026)

Orthologic Type Systems
di: Guilloud, Simon, et al.
Pubblicazione: (2025)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
di: Castagna, Giuseppe, et al.
Pubblicazione: (2024)

On the Expressivity of Typed Concurrent Calculi
di: Paulus, Joseph William Neal
Pubblicazione: (2024)

Logic Programming with Extensible Types
di: Perez, Ivan, et al.
Pubblicazione: (2026)

Type-Based Termination for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2021)

Layered Modal Type Theories
di: Hu, Jason Z. S., et al.
Pubblicazione: (2023)

Dependent Type Refinements for Futures
di: Somayyajula, Siva, et al.
Pubblicazione: (2023)

Linearization via Rewriting (Long Version)
di: Lago, Ugo Dal, et al.
Pubblicazione: (2025)

Termination Analysis of Linear-Constraint Programs
di: Ben-Amram, Amir M., et al.
Pubblicazione: (2025)

Types, equations, dimensions and the Pi theorem
di: Botta, Nicola, et al.
Pubblicazione: (2023)

Typed compositional quantum computation with lenses
di: Garrigue, Jacques, et al.
Pubblicazione: (2023)

Hybrid Intersection Types for PCF (Extended Version)
di: Barenbaum, Pablo, et al.
Pubblicazione: (2024)

Monadic Intersection Types, Relationally (Extended Version)
di: Gavazzo, Francesco, et al.
Pubblicazione: (2024)

Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
di: Accattoli, Beniamino
Pubblicazione: (2022)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
di: Kobayashi, Naoki
Pubblicazione: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

A Graded Modal Dependent Type Theory with Erasure, Formalized
di: Abel, Andreas, et al.
Pubblicazione: (2026)

A Mixed Linear and Graded Logic: Proofs, Terms, and Models (with appendices)
di: Vollmer, Victoria, et al.
Pubblicazione: (2024)

JAX Autodiff from a Linear Logic Perspective (Extended Version)
di: Giusti, Giulia, et al.
Pubblicazione: (2025)

Program Synthesis for Non-Linear Real Arithmetic: Going Beyond Realizability
di: Akshay, S., et al.
Pubblicazione: (2026)

A Type System for Data Flow and Alias Analysis in ReScript
di: Lund, Nicky Ask, et al.
Pubblicazione: (2024)

Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors
di: Congard, Sidney, et al.
Pubblicazione: (2025)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
di: Cristiá, Maximiliano, et al.
Pubblicazione: (2022)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
di: Hu, Jason Z. S., et al.
Pubblicazione: (2024)

Denotational Foundations for Expected Cost Analysis
di: de Amorim, Pedro H. Azevedo
Pubblicazione: (2024)

Abstractions of Sequences, Functions and Operators
di: Rustenholz, Louis, et al.
Pubblicazione: (2025)

Simple grammar bisimilarity, with an application to session type equivalence
di: Poças, Diogo, et al.
Pubblicazione: (2024)