Copertina

Stream Types

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cutler, Joseph W., Watson, Christopher, Nkurumeh, Emeka, Hilliard, Phillip, Goldstein, Harrison, Stanford, Caleb, Pierce, Benjamin C.
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fail Faster: Staging and Fast Randomness for High-Performance PBT
di: Richey, Cynthia, et al.
Pubblicazione: (2025)

Typing Strictness (Extended Version)
di: Sainati, Daniel, et al.
Pubblicazione: (2025)

Mica: Automated Differential Testing for OCaml Modules
di: Ng, Ernest, et al.
Pubblicazione: (2024)

The Search for Constrained Random Generators
di: Goldstein, Harrison, et al.
Pubblicazione: (2025)

Etna: An Evaluation Platform for Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

Auditing Rust Crates Effectively
di: Zoghbi, Lydia, et al.
Pubblicazione: (2026)

Tuning Random Generators: Property-Based Testing as Probabilistic Programming
di: Tjoa, Ryan, et al.
Pubblicazione: (2025)

Pacing Types for Asynchronous Stream Equations
di: Kohn, Florian, et al.
Pubblicazione: (2026)

Abstraction Functions as Types
di: Grodin, Harrison, et al.
Pubblicazione: (2025)

Representing Molecules with Algebraic Data Types: Beyond SMILES and SELFIES
di: Goldstein, Oliver, et al.
Pubblicazione: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
di: Kohn, Florian, et al.
Pubblicazione: (2025)

Pattern Matching in AI Compilers and its Formalization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

Type-safe Monitoring of Parameterized Streams
di: Baumeister, Jan, et al.
Pubblicazione: (2026)

Modular GPU Programming with Typed Perspectives
di: Bansal, Manya, et al.
Pubblicazione: (2025)

Programmable Property-Based Testing
di: Keles, Alperen, et al.
Pubblicazione: (2026)

Type-Based Incorrectness Reasoning
di: Zhou, Zhe, et al.
Pubblicazione: (2025)

Formalizing Stack Safety as a Security Property
di: Anderson, Sean Noble, et al.
Pubblicazione: (2021)

Polymorphic Coverage Types
di: Zhou, Zhe, et al.
Pubblicazione: (2023)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
di: Kambhamettu, Hita, et al.
Pubblicazione: (2026)

Modular probabilistic programming with algebraic effects (MSc Thesis 2019)
di: Goldstein, Oliver, et al.
Pubblicazione: (2024)

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

From Traces to Program Incorrectness: A Type-Theoretic Approach
di: Yuan, Yongwei, et al.
Pubblicazione: (2025)

Functional Meaning for Parallel Streaming
di: Rioux, Nick, et al.
Pubblicazione: (2025)

SMT-Boosted Security Types for Low-Level MPC
di: Skalka, Christian, et al.
Pubblicazione: (2025)

Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
di: Amorim, Arthur, et al.
Pubblicazione: (2025)

Full Iso-recursive Types
di: Zhou, Litao, et al.
Pubblicazione: (2024)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
di: LaFontaine, Patrick, et al.
Pubblicazione: (2025)

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

Flo: a Semantic Foundation for Progressive Stream Processing
di: Laddad, Shadaj, et al.
Pubblicazione: (2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version)
di: Cutler, Joseph W., et al.
Pubblicazione: (2024)

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

Fast Collection Operations from Indexed Stream Fusion
di: Kovach, Scott, et al.
Pubblicazione: (2025)

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

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

Compile-Time Java Stream Fusion via mapMulti
di: Bugayenko, Yegor, et al.
Pubblicazione: (2026)

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

Improving compiler support for SIMD offload using Arm Streaming SVE
di: Mohamed, Mohamed Husain Noor, et al.
Pubblicazione: (2025)

Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
di: Saey, Mathijs, et al.
Pubblicazione: (2025)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
di: Finkbeiner, Bernd, et al.
Pubblicazione: (2026)

Typing Composable Coroutines
di: Gu, Qiqi, et al.
Pubblicazione: (2023)