:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Hoyt, Berwyn
Format:	Preprint
Published:	2024
Subjects:	Databases Programming Languages D.3.3
Online Access:	https://arxiv.org/abs/2411.08206
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Abstracting Effect Systems for Algebraic Effect Handlers
by: Yoshioka, Takuma, et al.
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)

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

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

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

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

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

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
by: Ariola, Zena M., et al.
Published: (2026)

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

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

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

Message-Observing Sessions
by: Kavanagh, Ryan, et al.
Published: (2024)

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

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

Repr Types: One Abstraction to Rule Them All
by: Palmkvist, Viktor, et al.
Published: (2024)

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

Fat API bindings of C++ objects into scripting languages
by: Standish, Russell K.
Published: (2024)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

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

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)

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

Bonsai: Compiling Queries to Pruned Tree Traversals
by: Root, Alexander J, et al.
Published: (2025)

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

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

Corecursive Coding of High Computational Derivatives and Power Series
by: Karczmarczuk, Jerzy
Published: (2025)

Polymorphic Records for Dynamic Languages
by: Castagna, Giuseppe, et al.
Published: (2024)

Cost-Effective, Low Latency Vector Search with Azure Cosmos DB
by: Upreti, Nitish, et al.
Published: (2025)

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

A Calculus of Inheritance
by: Yang, Bo
Published: (2026)

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

Game Semantics for Higher-Order Unitary Quantum Computation
by: Abramsky, Samson, et al.
Published: (2024)

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

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

Totality for Mixed Inductive and Coinductive Types
by: Hyvernat, Pierre
Published: (2019)

Early Announcement: Parametricity for GADTs
by: Cagne, Pierre, et al.
Published: (2024)

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

Probability and Angelic Nondeterminism with Multiset Semantics
by: Ong, Shawn, et al.
Published: (2024)

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