Cover Image

Repr Types: One Abstraction to Rule Them All

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Palmkvist, Viktor, Thuné, Anders Ågren, Castegren, Elias, Broman, David
Format:	Preprint
Published:	2024
Subjects:	Programming Languages Performance D.3.3; D.4.8
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Dependence-Driven, Scalable Quantum Circuit Mapping with Affine Abstractions
by: Benbetka, Marouane, et al.
Published: (2025)

Adapting the MVVM pattern to C++ frontends and Agda-based backends
by: Csimma, Viktor
Published: (2026)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

Decomposing Docker Container Startup Performance: A Three-Tier Measurement Study on Heterogeneous Infrastructure
by: Khan, Shamsher
Published: (2026)

TurboMem: High-Performance Lock-Free Memory Pool with Transparent Huge Page Auto-Merging for DPDK
by: Yang, Junyi
Published: (2026)

Shift schema drift left: policy-aware compile-time contracts for typed JVM and Spark pipelines
by: Mirji, Vittal
Published: (2026)

SoCal: A Language for Memory-Layout Factorization of Recursive Datatypes
by: Singhal, Vidush, et al.
Published: (2026)

Meta-Monomorphizing Specializations
by: Bruzzone, Federico, et al.
Published: (2026)

Weak-linearity, globality and in-place update
by: Gramaglia, Hector
Published: (2024)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL
by: Salazar, José Daniel Montoya
Published: (2026)

Modernizing SMT-Based Type Error Localization
by: Kopinsky, Max, et al.
Published: (2024)

Detection of Performance Changes in MooBench Results Using Nyrkiö on GitHub Actions
by: Yang, Shinhyung, et al.
Published: (2025)

Super-Linear Speedup by Generalizing Runtime Repeated Recursion Unfolding in Prolog
by: Fruehwirth, Thom
Published: (2025)

Compile-time Security Analysis and Optimization of Sensitive String Producers
by: Samuel, Mike, et al.
Published: (2026)

Back to Bits: Extending Shannon's communication performance framework to computing
by: Hawkins, Max, et al.
Published: (2025)

Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary Lambda-Calculi
by: Cerda, Rémy
Published: (2025)

The concept of class invariant in object-oriented programming
by: Meyer, Bertrand, et al.
Published: (2021)

Modal Abstractions for Virtualizing Memory Addresses
by: Kuru, Ismail, et al.
Published: (2023)

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
Published: (2024)

Weak-Linear Types
by: Gramaglia, Hector
Published: (2024)

Boosting Cross-Architectural Emulation Performance by Foregoing the Intermediate Representation Model
by: Parker, Amy Iris
Published: (2025)

Have Object-Oriented Languages Missed a Trick with Class Function and its Subclasses?
by: Allison, Lloyd
Published: (2025)

The B2Scala Tool: Integrating Bach in Scala with Security in Mind
by: Ouardi, Doha, et al.
Published: (2024)

Conversational Concurrency
by: Garnock-Jones, Tony
Published: (2024)

Dynamic String Generation and C++-style Output in Fortran
by: Mohr, Marcus
Published: (2024)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
by: Krook, Robert, et al.
Published: (2024)

NVLang: Unified Static Typing for Actor-Based Concurrency on the BEAM
by: Guerreiro, Miguel de Oliveira
Published: (2025)

Codebase-Memory: Tree-Sitter-Based Knowledge Graphs for LLM Code Exploration via MCP
by: Vogel, Martin, et al.
Published: (2026)

Relational Reactive Programming: miniKanren for the Web
by: Donahue, Evan
Published: (2024)

Lua API and benchmark design using 3n+1 sequences: Comparing API elegance and raw speed in Redis and YottaDB databases
by: Hoyt, Berwyn
Published: (2024)

Send: Objects, History, and Transactions in a Single-Verb Kernel
by: Goes, Christopher
Published: (2026)

File System Aging
by: Conway, Alex, et al.
Published: (2024)

Intent-Driven Computing: A Computational Model for Governed Autonomous Systems
by: McCann, Alan L.
Published: (2026)

Polymorphic Bottom-Up Weighted Relational Programming
by: Volkov, Dmitri
Published: (2026)

Committing to the bit: Relational programming with semiring arrays and SAT solving
by: Volkov, Dmitri, et al.
Published: (2025)

AXI4MLIR: User-Driven Automatic Host Code Generation for Custom AXI-Based Accelerators
by: Agostini, Nicolas Bohm, et al.
Published: (2023)

A Diagrammatic Calculus for a Functional Model of Natural Language Semantics
by: Boyer, Matthieu Pierre
Published: (2025)

Controlling Copatterns: There and Back Again (Extended Version)
by: Downen, Paul
Published: (2025)

Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types
by: Marshall, Danielle, et al.
Published: (2022)