On the public citation graph

Reconciling Abstraction with High Performance: A MetaOCaml approach

0 signed · 36 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.

Claim with ORCID

Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.626openalex-snapshot

Minimizing development and maintenance costs in supporting persistently optimized BLAS

inferredcites →https://doi.org/10.1007/978-3-319-07151-0_6openalex-snapshot

The Design and Implementation of BER MetaOCaml

inferredcites →https://doi.org/10.1007/978-3-319-47958-3_15openalex-snapshot

Refined Environment Classifiers

inferredcites →https://doi.org/10.1007/978-3-540-39886-8_28openalex-snapshot

Tabular Parsing

inferredcites →https://doi.org/10.1007/978-3-642-32202-0_3openalex-snapshot

Typed Tagless Final Interpreters

inferredcites →https://doi.org/10.1007/s00354-007-0020-xopenalex-snapshot

Implicitly Heterogeneous Multi-Stage Programming

inferredcites →https://doi.org/10.1016/0020-0190(77)90078-3openalex-snapshot

On the partial computation principle

inferredcites →https://doi.org/10.1016/j.scico.2005.10.013openalex-snapshot

In search of a program generator to implement generic transformations for high-performance computing

inferredcites →https://doi.org/10.1016/j.scico.2006.02.002openalex-snapshot

Combining partial evaluation and staged interpretation in the implementation of domain-specific languages

inferredcites →https://doi.org/10.1016/j.scico.2008.09.008openalex-snapshot

Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code

inferredcites →https://doi.org/10.1017/s0956796809007205openalex-snapshot

Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

inferredcites →https://doi.org/10.1109/jproc.2004.840301openalex-snapshot

The Design and Implementation of FFTW3

inferredcites →https://doi.org/10.1109/jproc.2004.840306openalex-snapshot

SPIRAL: Code Generation for DSP Transforms

inferredcites →https://doi.org/10.1145/1173706.1173728openalex-snapshot

Gaigen 2:

inferredcites →https://doi.org/10.1145/2184319.2184345openalex-snapshot

Lightweight modular staging

inferredcites →https://doi.org/10.1145/2808091openalex-snapshot

Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing

inferredcites →https://doi.org/10.1145/2998392openalex-snapshot

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala

inferredcites →https://doi.org/10.1145/3009837openalex-snapshot

POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages

inferredcites →https://doi.org/10.1145/581690.581693openalex-snapshot

A recursive do for Haskell

inferredcites →https://doi.org/10.4204/eptcs.198.2openalex-snapshot

Modular implicits

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-85987-9_9openalex-snapshot

FFT Program Generation for Ring LWE-Based Cryptography

inferred← citeshttps://doi.org/10.1007/978-981-97-2300-3_12openalex-snapshot

MetaOCaml: Ten Years Later

inferred← citeshttps://doi.org/10.1016/j.cola.2021.101033openalex-snapshot

Reflection of terms in attribute grammars: Design and applications

inferred← citeshttps://doi.org/10.1016/j.scico.2023.103035openalex-snapshot

Program generation meets program verification: A case study on number-theoretic transform

inferred← citeshttps://doi.org/10.1109/icse48619.2023.00116openalex-snapshot

Compiling Parallel Symbolic Execution with Continuations

inferred← citeshttps://doi.org/10.1145/3331545.3342597openalex-snapshot

Multi-stage programs in context

inferred← citeshttps://doi.org/10.1145/3357765.3359517openalex-snapshot

Reflection in attribute grammars

inferred← citeshttps://doi.org/10.1145/3357765.3359520openalex-snapshot

Compiler generation for performance-oriented embedded DSLs (short paper)

inferred← citeshttps://doi.org/10.1145/3357765.3359522openalex-snapshot

Polymorphic extractors for semantic and portable pattern matching (short paper)

inferred← citeshttps://doi.org/10.1145/3360552openalex-snapshot

Staged abstract interpreters: fast and modular whole-program analysis via meta-programming

inferred← citeshttps://doi.org/10.1145/3486609.3487203openalex-snapshot

Multi-stage programming with generative and analytical macros

inferred← citeshttps://doi.org/10.1145/3527333openalex-snapshot

Functional collection programming with semi-ring dictionaries

inferred← citeshttps://doi.org/10.1145/3564719.3568698openalex-snapshot

Deep Fusion for Efficient Nested Recursive Computations

inferred← citeshttps://doi.org/10.1145/3828676openalex-snapshot

Let It Be Optimized: Building Multi-stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)

inferred← citeshttps://doi.org/10.1145/3839477openalex-snapshot

When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion

inferred← citeshttps://doi.org/10.2197/ipsjjip.33.461openalex-snapshot

MAYUZIN: Runtime Generative and Analytical Metaprogramming

Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.