Cover Image

A Type System for Data Privacy Compliance in Active Object Languages

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baramashetru, Chinmayi Prabhu, Giannini, Paola, Tarifa, Silvia Lizeth Tapia, Owe, Olaf
Format:	Preprint
Published:	2025
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fair Termination for Resource-Aware Active Objects
by: Dagnino, Francesco, et al.
Published: (2025)

An effectful object calculus
by: Dagnino, Francesco, et al.
Published: (2025)

Monadic type-and-effect soundness
by: Dagnino, Francesco, et al.
Published: (2025)

Don't exhaust, don't waste
by: Bianchini, Riccardo, et al.
Published: (2025)

Privacy-Respecting Type Error Telemetry at Scale
by: Greenman, Ben, et al.
Published: (2024)

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

A Type Theory with a Tiny Object
by: Riley, Mitchell
Published: (2024)

Evolution Language Framework for Persistent Objects
by: Kamina, Tetsuo, et al.
Published: (2025)

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

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

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

Behavioural Types for Heterogeneous Systems (Position Paper)
by: Fowler, Simon, et al.
Published: (2024)

Information Aware Type Systems and Telescopic Constraint Trees
by: Cowderoy, Philippa
Published: (2024)

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
by: Böhler, Timon, et al.
Published: (2026)

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

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

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

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

FLAT: Formal Languages as Types
by: Zhu, Fengmin, et al.
Published: (2025)

Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
by: Liesnikov, Bohdan, et al.
Published: (2025)

Orthologic Type Systems
by: Guilloud, Simon, et al.
Published: (2025)

The Long Way to Deforestation (Technical Report): A Type Inference and Elaboration Technique for Removing Intermediate Data Structures
by: Chen, Yijia, et al.
Published: (2024)

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

Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
by: Lybech, Stian, et al.
Published: (2025)

If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, et al.
Published: (2025)

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

Numerical Fuzz: A Type System for Rounding Error Analysis
by: Kellison, Ariel E., et al.
Published: (2024)

A Type System to Ensure Non-Interference in ReScript
by: Bennetzen, Benjamin, et al.
Published: (2024)

Type-Constrained Code Generation with Language Models
by: Mündler, Niels, et al.
Published: (2025)

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

A Complementary Approach to Incorrectness Typing
by: Li, Celia Mengyue, et al.
Published: (2025)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
by: Dantanarayana, Jayanaka L., et al.
Published: (2024)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

Stream Types
by: Cutler, Joseph W., et al.
Published: (2023)

GeckoGraph: A Visual Language for Polymorphic Types
by: Fu, Shuai, et al.
Published: (2024)

Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
by: Li, Senxi, et al.
Published: (2026)

Rel: A Programming Language for Relational Data
by: Aref, Molham, et al.
Published: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

Refinement-Types Driven Development: A study
by: Domínguez, Facundo, et al.
Published: (2025)

Pantograph: A Fluid and Typed Structure Editor
by: Prinz, Jacob, et al.
Published: (2024)