Image de couverture de livre

Triemaps that match

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Jones, Simon Peyton, Graf, Sebastian
Format:	Preprint
Publié:	2023
Sujets:	Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Abstracting Denotational Interpreters
par: Graf, Sebastian, et autres
Publié: (2024)

Dual-Numbers Reverse AD for Functional Array Languages
par: Smeding, Tom, et autres
Publié: (2025)

On the computational complexity of JavaScript regex matching
par: Deng, Victor, et autres
Publié: (2026)

Compiling the Mimosa programming language to RTOS tasks
par: Huber, Nikolaus, et autres
Publié: (2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
par: Huber, Nikolaus, et autres
Publié: (2025)

Optimizations and extensions for fair join pattern matching
par: Karras, Ioannis
Publié: (2025)

Extensibility in Programming Languages: An overview
par: Nicolajsen, Sebastian mateos
Publié: (2025)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
par: Kan, Shuanglong, et autres
Publié: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
par: Fowler, Simon, et autres
Publié: (2026)

Special Delivery: Programming with Mailbox Types (Extended Version)
par: Fowler, Simon, et autres
Publié: (2023)

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
par: Zucker, Philip
Publié: (2025)

Context-Aware Separation Logic
par: Meyer, Roland, et autres
Publié: (2023)

Conversational Concurrency with Dataspaces and Facets
par: Caldwell, Sam, et autres
Publié: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
par: Leißa, Roland, et autres
Publié: (2024)

Multiparty Session Types with a Bang!
par: Brun, Matthew Alan Le, et autres
Publié: (2025)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
par: Makor, Lukas, et autres
Publié: (2025)

Separating Sessions Smoothly
par: Fowler, Simon, et autres
Publié: (2021)

Arithmetizing Shape Analysis
par: Wolff, Sebastian, et autres
Publié: (2024)

Behavioural Types for Heterogeneous Systems (Position Paper)
par: Fowler, Simon, et autres
Publié: (2024)

Certus: A domain specific language for confidence assessment in assurance cases
par: Diemert, Simon, et autres
Publié: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
par: Dahou, Abdelhalim, et autres
Publié: (2025)

PermRust: A Token-based Permission System for Rust
par: Gehring, Lukas, et autres
Publié: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
par: Zhao, Hangdong, et autres
Publié: (2025)

Orthologic Type Systems
par: Guilloud, Simon, et autres
Publié: (2025)

The Case for Multi-Version Experimental Evaluation (MVEE)
par: Jörz, Simon, et autres
Publié: (2026)

Disentangling Parallelism and Interference in Game Semantics
par: Castellan, Simon, et autres
Publié: (2021)

Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas
par: Guevara, Andres, et autres
Publié: (2024)

Towards representation agnostic probabilistic programming
par: Fenske, Ole, et autres
Publié: (2025)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
par: Scott, Ryan G., et autres
Publié: (2024)

The Vienna Architecture Description Language
par: Freitag, Florian, et autres
Publié: (2024)

FSLH: Flexible Mechanized Speculative Load Hardening
par: Baumann, Jonathan, et autres
Publié: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
par: Bucev, Mario, et autres
Publié: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
par: Arfi, Farid, et autres
Publié: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
par: Meyer, Roland, et autres
Publié: (2024)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
par: Gumin, Maxim, et autres
Publié: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
par: Gregersen, Simon Oddershede, et autres
Publié: (2025)

Structural Temporal Logic for Mechanized Program Verification
par: Ioannidis, Eleftherios, et autres
Publié: (2024)

Wiring the Pi-calculus to Denotational Semantics
par: Sakayori, Ken, et autres
Publié: (2026)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
par: Seidel, Raphael, et autres
Publié: (2024)

SSR: Spatial Sequential Hybrid Architecture for Latency Throughput Tradeoff in Transformer Acceleration
par: Zhuang, Jinming, et autres
Publié: (2024)