Cover Image

Unboxed data constructors -- or, how cpp decides a halting problem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chataing, Nicolas, Dolan, Stephen, Scherer, Gabriel, Yallop, Jeremy
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

Handling Scope Checks (Extended Version)
by: Lee, Michael, et al.
Published: (2026)

Unboxing Virgil ADTs for Fun and Profit
by: Teo, Bradley Wei Jie, et al.
Published: (2024)

How to benchmark: the Measure-Explain-Test-Improve loop
by: Scherer, Gabriel
Published: (2026)

Frex: dependently-typed algebraic simplification
by: Allais, Guillaume, et al.
Published: (2023)

Optimization of Armv9 architecture general large language model inference performance based on Llama.cpp
by: Chen, Longhao, et al.
Published: (2024)

Omnidirectional type inference for ML: principality any way
by: O'Brien, Alistair, et al.
Published: (2025)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
by: Soldevila, Mallku, et al.
Published: (2024)

Modal Effect Types
by: Tang, Wenhao, et al.
Published: (2024)

cpp11armadillo: An R Package to Use the Armadillo C++ Library
by: Sepúlveda, Mauricio Vargas, et al.
Published: (2024)

Tail Modulo Cons, OCaml, and Relational Separation Logic
by: Allain, Clément, et al.
Published: (2024)

The why, what, and how of AI-based coding in scientific research
by: Zhuang, Tonghe, et al.
Published: (2024)

Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education
by: Chang, Stephen
Published: (2024)

Unboxing Occupational Bias: Grounded Debiasing of LLMs with U.S. Labor Data
by: Gorti, Atmika, et al.
Published: (2024)

Bitnet.cpp: Efficient Edge Inference for Ternary LLMs
by: Wang, Jinheng, et al.
Published: (2025)

Binomial Tabulation: A Short Story
by: Ko, Hsiang-Shang, et al.
Published: (2025)

Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
by: Yang, Zhixuan, et al.
Published: (2025)

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
by: Flanagan, Cormac, et al.
Published: (2024)

Quantum finite automata and linear context-free languages: a decidable problem
by: Bertoni, A., et al.
Published: (2013)

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

Optimal Program Synthesis via Abstract Interpretation
by: Mell, Stephen, et al.
Published: (2026)

Fearless Asynchronous Communications with Timed Multiparty Session Protocols
by: Hou, Ping, et al.
Published: (2024)

Synthesizing Trajectory Queries from Examples
by: Mell, Stephen, et al.
Published: (2026)

Opportunistically Parallel Lambda Calculus
by: Mell, Stephen, et al.
Published: (2024)

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
by: Thibault, Jérémy, et al.
Published: (2025)

Let's Take Esoteric Programming Languages Seriously
by: Singer, Jeremy, et al.
Published: (2025)

Pyrosome: Verified Compilation for Modular Metatheory
by: Jamner, Dustin, et al.
Published: (2025)

Mixing Visual and Textual Code
by: Andersen, Leif, et al.
Published: (2026)

Hybrid Path-Sums for Hybrid Quantum Programs
by: Chareton, Christophe, et al.
Published: (2026)

Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)

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

Data Transfer Optimizations for Host-CPU and Accelerators in AXI4MLIR
by: Haris, Jude, et al.
Published: (2024)

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

The Stackage Repository: An Exploratory Study of its Evolution
by: Leger, Paul, et al.
Published: (2023)

Linear Constraints
by: Spiwack, Arnaud, et al.
Published: (2026)

Towards LLM-based optimization compilers. Can LLMs learn how to apply a single peephole optimization? Reasoning is all LLMs need!
by: Fang, Xiangxin, et al.
Published: (2024)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
by: Xin, Yutong, et al.
Published: (2025)

Can a domain-specific language improve program structure comprehension of data pipelines? A mixed-methods study
by: Heltweg, Philip, et al.
Published: (2025)

Accurate Coverage Metrics for Compiler-Generated Debugging Information
by: Stinnett, J. Ryan, et al.
Published: (2024)

A type system for data flow and alias analysis in ReScript
by: Lund, Nicky Ask, et al.
Published: (2024)