Copertina

Fair intersection of seekable iterators

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Arntzenius, Michael
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Finite Functional Programming
di: Arntzenius, Michael, et al.
Pubblicazione: (2026)

Stream programs are monoid homomorphisms with state
di: Hou, Tyler, et al.
Pubblicazione: (2025)

Finite-Choice Logic Programming
di: Martens, Chris, et al.
Pubblicazione: (2024)

Programming with union, intersection, and negation types
di: Castagna, Giuseppe
Pubblicazione: (2021)

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
di: Bravetti, Mario, et al.
Pubblicazione: (2025)

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

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

Practical Insights into Fair Comparison and Evaluation Frame for Neutral-Atom Compilers
di: Khusainov, Emil, et al.
Pubblicazione: (2026)

Strong Priority and Determinacy in Timed CCS
di: Liquori, Luigi, et al.
Pubblicazione: (2024)

Task-Based Tensor Computations on Modern GPUs
di: Yadav, Rohan, et al.
Pubblicazione: (2025)

PSM: Policy Synchronised Deterministic Memory
di: Mendler, Michael, et al.
Pubblicazione: (2025)

Type-safe and portable support for packed data
di: Jamet, Arthur, et al.
Pubblicazione: (2025)

Functional Logic Program Transformations
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Automated Expected Cost Analysis for Quantum Programs
di: Moser, Georg, et al.
Pubblicazione: (2026)

Constrained Code Generation with Discrete Diffusion
di: Shao, Lize, et al.
Pubblicazione: (2026)

HITrees: Higher-Order Interaction Trees
di: Ayyam, Amir Mohammad Fadaei, et al.
Pubblicazione: (2025)

Spegion: Implicit and Non-Lexical Regions with Sized Allocations
di: Hughes, Jack, et al.
Pubblicazione: (2025)

Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
di: Bembenek, Aaron, et al.
Pubblicazione: (2024)

Employing polyhedral methods to optimize stencils on FPGAs with stencil-specific caches, data reuse, and wide data bursts
di: Mayer, Florian, et al.
Pubblicazione: (2024)

The Fearless Journey [Draft]
di: Webster, Nick, et al.
Pubblicazione: (2024)

&inator: Correct, Precise C-to-Rust Interface Translation
di: Chen, Victor, et al.
Pubblicazione: (2026)

A Monadic Implementation of Functional Logic Programs
di: Hanus, Michael, et al.
Pubblicazione: (2026)

Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks
di: Fabian, Xaver, et al.
Pubblicazione: (2024)

Handling Scope Checks (Extended Version)
di: Lee, Michael, et al.
Pubblicazione: (2026)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
di: Lagouvardos, Sifis, et al.
Pubblicazione: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
di: Foo, Yong Qi, et al.
Pubblicazione: (2025)

Mixing Visual and Textual Code
di: Andersen, Leif, et al.
Pubblicazione: (2026)

Formal Foundations for Translational Separation Logic Verifiers (extended version)
di: Dardinier, Thibault, et al.
Pubblicazione: (2024)

Correctness Witness Validation by Abstract Interpretation
di: Saan, Simmo, et al.
Pubblicazione: (2023)

RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
di: Paraskevopoulou, Zoe, et al.
Pubblicazione: (2024)

Cocoon: Static Information Flow Control in Rust
di: Lamba, Ada, et al.
Pubblicazione: (2023)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
di: Baek, Doehyun, et al.
Pubblicazione: (2024)

Inferring Non-Failure Conditions for Declarative Programs
di: Hanus, Michael
Pubblicazione: (2024)

Can Language Models Solve Olympiad Programming?
di: Shi, Quan, et al.
Pubblicazione: (2024)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
di: Geng, Chujun, et al.
Pubblicazione: (2024)

The Vienna Architecture Description Language
di: Freitag, Florian, 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)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
di: Schwarz, Michael, et al.
Pubblicazione: (2025)

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
di: Yuan, Charles, et al.
Pubblicazione: (2023)

Hear Your Code Fail, Voice-Assisted Debugging for Python
di: Amiri, Sayed Mahbub Hasan, et al.
Pubblicazione: (2025)