Buchumschlag

A Type System for Data Flow and Alias Analysis in ReScript

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lund, Nicky Ask, Hüttel, Hans
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A type system for data flow and alias analysis in ReScript
von: Lund, Nicky Ask, et al.
Veröffentlicht: (2024)

Functional Array Programming in an Extended Pi-Calculus
von: Hüttel, Hans, et al.
Veröffentlicht: (2024)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
von: Castagna, Giuseppe, et al.
Veröffentlicht: (2024)

A Type System to Ensure Non-Interference in ReScript
von: Bennetzen, Benjamin, et al.
Veröffentlicht: (2024)

Orthologic Type Systems
von: Guilloud, Simon, et al.
Veröffentlicht: (2025)

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2024)

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

Type Theory With Erasure
von: Theocharis, Constantine, et al.
Veröffentlicht: (2026)

On the Expressivity of Typed Concurrent Calculi
von: Paulus, Joseph William Neal
Veröffentlicht: (2024)

Logic Programming with Extensible Types
von: Perez, Ivan, et al.
Veröffentlicht: (2026)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

Layered Modal Type Theories
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2023)

Dependent Type Refinements for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2023)

A Graded Modal Dependent Type Theory with Erasure, Formalized
von: Abel, Andreas, et al.
Veröffentlicht: (2026)

Impredicativity in Linear Dependent Type Theory
von: Speight, Sam, et al.
Veröffentlicht: (2026)

Linear Contextual Metaprogramming and Session Types
von: Ângelo, Pedro, et al.
Veröffentlicht: (2024)

Types, equations, dimensions and the Pi theorem
von: Botta, Nicola, et al.
Veröffentlicht: (2023)

Typed compositional quantum computation with lenses
von: Garrigue, Jacques, et al.
Veröffentlicht: (2023)

Hybrid Intersection Types for PCF (Extended Version)
von: Barenbaum, Pablo, et al.
Veröffentlicht: (2024)

Monadic Intersection Types, Relationally (Extended Version)
von: Gavazzo, Francesco, et al.
Veröffentlicht: (2024)

Dependent Multiplicities in Dependent Linear Type Theory
von: Doré, Maximilian
Veröffentlicht: (2025)

DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
von: Hu, Jason Z. S., et al.
Veröffentlicht: (2024)

On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
von: Kobayashi, Naoki
Veröffentlicht: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

Crash-Stop Failures in Asynchronous Multiparty Session Types
von: Barwell, Adam D., et al.
Veröffentlicht: (2023)

Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
von: Casetta, Richard, et al.
Veröffentlicht: (2026)

Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
von: Cristiá, Maximiliano, et al.
Veröffentlicht: (2022)

An Enumerative Embedding of the Python Type System in ACL2s
von: Xifaras, Samuel, et al.
Veröffentlicht: (2025)

A formalization of System I with type Top in Agda
von: Séttimo, Agustín, et al.
Veröffentlicht: (2026)

WebPie: A Tiny Slice of Dependent Typing
von: Scholliers, Christophe
Veröffentlicht: (2024)

A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests
von: Kappé, Tobias, et al.
Veröffentlicht: (2023)

Bit-Vector CHC Solving for Binary Analysis and Binary Analysis for Bit-Vector CHC Solving
von: Bembenek, Aaron, et al.
Veröffentlicht: (2026)

Denotational Foundations for Expected Cost Analysis
von: de Amorim, Pedro H. Azevedo
Veröffentlicht: (2024)

Structural Analysis of GRAFCET Control Specifications
von: Schnakenbeck, Aron, et al.
Veröffentlicht: (2023)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Automated Verification of Monotonic Data Structure Traversals in C
von: Sotoudeh, Matthew
Veröffentlicht: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
von: Gregersen, Simon Oddershede, et al.
Veröffentlicht: (2025)

Mechanised Hypersafety Proofs about Structured Data: Extended Version
von: Gladshtein, Vladimir, et al.
Veröffentlicht: (2024)

Polymorphic Metaprogramming with Memory Management -- An Adjoint Analysis of Metaprogramming
von: Jang, Junyoung, et al.
Veröffentlicht: (2024)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
von: Lee, Jaeseo, et al.
Veröffentlicht: (2025)