Cover Image

Triemaps that match

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jones, Simon Peyton, Graf, Sebastian
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abstracting Denotational Interpreters
by: Graf, Sebastian, et al.
Published: (2024)

Dual-Numbers Reverse AD for Functional Array Languages
by: Smeding, Tom, et al.
Published: (2025)

On the computational complexity of JavaScript regex matching
by: Deng, Victor, et al.
Published: (2026)

Compiling the Mimosa programming language to RTOS tasks
by: Huber, Nikolaus, et al.
Published: (2025)

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

Optimizations and extensions for fair join pattern matching
by: Karras, Ioannis
Published: (2025)

Extensibility in Programming Languages: An overview
by: Nicolajsen, Sebastian mateos
Published: (2025)

Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
by: Kan, Shuanglong, et al.
Published: (2026)

Speak Now: Safe Actor Programming with Multiparty Session Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2026)

Special Delivery: Programming with Mailbox Types (Extended Version)
by: Fowler, Simon, et al.
Published: (2023)

Omelets Need Onions: E-graphs Modulo Theories via Bottom-up E-matching
by: Zucker, Philip
Published: (2025)

Context-Aware Separation Logic
by: Meyer, Roland, et al.
Published: (2023)

Conversational Concurrency with Dataspaces and Facets
by: Caldwell, Sam, et al.
Published: (2025)

MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
by: Leißa, Roland, et al.
Published: (2024)

Multiparty Session Types with a Bang!
by: Brun, Matthew Alan Le, et al.
Published: (2025)

Automated Profile-Guided Replacement of Data Structures to Reduce Memory Allocation
by: Makor, Lukas, et al.
Published: (2025)

Separating Sessions Smoothly
by: Fowler, Simon, et al.
Published: (2021)

Arithmetizing Shape Analysis
by: Wolff, Sebastian, et al.
Published: (2024)

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

Certus: A domain specific language for confidence assessment in assurance cases
by: Diemert, Simon, et al.
Published: (2025)

Semantic Source Code Segmentation using Small and Large Language Models
by: Dahou, Abdelhalim, et al.
Published: (2025)

PermRust: A Token-based Permission System for Rust
by: Gehring, Lukas, et al.
Published: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

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

The Case for Multi-Version Experimental Evaluation (MVEE)
by: Jörz, Simon, et al.
Published: (2026)

Disentangling Parallelism and Interference in Game Semantics
by: Castellan, Simon, et al.
Published: (2021)

Sistemas de control basados en el estandar grafcet para la alteracion de bombas centrifugas
by: Guevara, Andres, et al.
Published: (2024)

Towards representation agnostic probabilistic programming
by: Fenske, Ole, et al.
Published: (2025)

Macaw: A Machine Code Toolbox for the Busy Binary Analyst
by: Scott, Ryan G., et al.
Published: (2024)

The Vienna Architecture Description Language
by: Freitag, Florian, et al.
Published: (2024)

FSLH: Flexible Mechanized Speculative Load Hardening
by: Baumann, Jonathan, et al.
Published: (2025)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
by: Bucev, Mario, et al.
Published: (2024)

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization
by: Arfi, Farid, et al.
Published: (2024)

Realizability in Semantics-Guided Synthesis Done Eagerly
by: Meyer, Roland, et al.
Published: (2024)

Imperative vs. Declarative Programming Paradigms for Open-Universe Scene Generation
by: Gumin, Maxim, et al.
Published: (2025)

Logical Relations for Formally Verified Authenticated Data Structures
by: Gregersen, Simon Oddershede, et al.
Published: (2025)

Structural Temporal Logic for Mechanized Program Verification
by: Ioannidis, Eleftherios, et al.
Published: (2024)

Wiring the Pi-calculus to Denotational Semantics
by: Sakayori, Ken, et al.
Published: (2026)

Qrisp: A Framework for Compilable High-Level Programming of Gate-Based Quantum Computers
by: Seidel, Raphael, et al.
Published: (2024)

SSR: Spatial Sequential Hybrid Architecture for Latency Throughput Tradeoff in Transformer Acceleration
by: Zhuang, Jinming, et al.
Published: (2024)