On the public citation graph
Static interpretation of higher-order modules in Futhark: functional GPU programming in the large
0 signed · 71 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/10704567_5openalex-snapshot
Non-dependent Types for Standard ML Modules
inferredcites →https://doi.org/10.1007/3-540-15975-4_37openalex-snapshot
Lambda lifting: Transforming programs to recursive equations
inferredcites →https://doi.org/10.1007/978-3-642-37075-5_28openalex-snapshot
Generalised Name Abstraction for Nominal Sets
inferredcites →https://doi.org/10.1007/s001650200016openalex-snapshot
A New Approach to Abstract Syntax with Variable Binding
inferredcites →https://doi.org/10.1007/s10817-011-9219-0openalex-snapshot
Strongly Typed Term Representations in Coq
inferredcites →https://doi.org/10.1016/j.entcs.2007.01.021openalex-snapshot
A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
inferredcites →https://doi.org/10.1016/j.entcs.2007.01.028openalex-snapshot
Nominal Reasoning Techniques in Coq
inferredcites →https://doi.org/10.1016/j.entcs.2007.11.009openalex-snapshot
Normalization for the Simply-Typed Lambda-Calculus in Twelf
inferredcites →https://doi.org/10.1016/s0304-3975(00)00053-0openalex-snapshot
MetaML and multi-stage programming with explicit annotations
inferredcites →https://doi.org/10.1049/cce:19910064openalex-snapshot
Vector Models for Data-Parallel Computing
inferredcites →https://doi.org/10.1109/12.42122openalex-snapshot
Scans as primitive parallel operations
inferredcites →https://doi.org/10.1145/1086365.1086371openalex-snapshot
An expressive language of signatures
inferredcites →https://doi.org/10.1145/1159876.1159883openalex-snapshot
A separate compilation extension to standard ML
inferredcites →https://doi.org/10.1145/1190215.1190245openalex-snapshot
Towards a mechanized metatheory of standard ML
inferredcites →https://doi.org/10.1145/1190216.1190245openalex-snapshot
Towards a mechanized metatheory of standard ML
inferredcites →https://doi.org/10.1145/174675.176927openalex-snapshot
A type-theoretic approach to higher-order modules with sharing
inferredcites →https://doi.org/10.1145/1926354.1926358openalex-snapshot
Accelerating Haskell array codes with multicore GPUs
inferredcites →https://doi.org/10.1145/1926354.1926359openalex-snapshot
Breaking the GPU programming barrier with the auto-parallelising SAC compiler
inferredcites →https://doi.org/10.1145/199448.199452openalex-snapshot
Using functor categories to generate intermediate code
inferredcites →https://doi.org/10.1145/199448.199476openalex-snapshot
Applicative functors and fully transparent higher-order modules
inferredcites →https://doi.org/10.1145/2103736.2103740openalex-snapshot
Expressive array constructs in an embedded GPU kernel programming language
inferredcites →https://doi.org/10.1145/2450136.2450137openalex-snapshot
Mixin’ Up the ML Module System
inferredcites →https://doi.org/10.1145/2500365.2500595openalex-snapshot
Optimising purely functional GPU programs
inferredcites →https://doi.org/10.1145/2627373.2627390openalex-snapshot
Compiling a Subset of APL Into a Typed Intermediate Language
inferredcites →https://doi.org/10.1145/2784731.2784754openalex-snapshot
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code
inferredcites →https://doi.org/10.1145/2847538.2847541openalex-snapshot
Everything old is new again: quoted domain-specific languages
inferredcites →https://doi.org/10.1145/2858949.2784754openalex-snapshot
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code
inferredcites →https://doi.org/10.1145/2935323.2935326openalex-snapshot
Design and GPGPU performance of Futhark's redomap construct
inferredcites →https://doi.org/10.1145/2951913.2951924openalex-snapshot
A new verified compiler backend for CakeML
inferredcites →https://doi.org/10.1145/2975991.2975997openalex-snapshot
APL on GPUs: a TAIL from the past, scribbled in Futhark
inferredcites →https://doi.org/10.1145/3009837.3009892openalex-snapshot
Modules, abstraction, and parametric polymorphism
inferredcites →https://doi.org/10.1145/3062341.3062354openalex-snapshot
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
inferredcites →https://doi.org/10.1145/3122948.3122952openalex-snapshot
Strategies for regular segmented reductions on GPU
inferredcites →https://doi.org/10.1145/317636.317800openalex-snapshot
Static interpretation of modules
inferredcites →https://doi.org/10.1145/317636.317801openalex-snapshot
Transparent modules with fully syntatic signatures
inferredcites →https://doi.org/10.1145/3236950.3236955openalex-snapshot
Certified Compilation of Financial Contracts
inferredcites →https://doi.org/10.1145/328690openalex-snapshot
Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
inferredcites →https://doi.org/10.1145/41625.41653openalex-snapshot
Views: a way for pattern matching to cohabit with data abstraction
inferredcites →https://doi.org/10.1145/75277.75283openalex-snapshot
How to make ad-hoc polymorphism less ad hoc
inferredcites →https://doi.org/10.1145/96709.96744openalex-snapshot
Higher-order modules and the phase distinction
inferredcites →https://doi.org/10.2307/2271658openalex-snapshot
Intensional interpretations of functionals of finite type I
inferredcites →https://doi.org/10.5555/3049832.3049841openalex-snapshot
Lift: a functional data-parallel IR for high-performance GPU code generation
inferredcites →https://doi.org/10.7551/mitpress/5641.003.0019openalex-snapshot
A Type-Theoretic Interpretation of Standard ML
inferredcites →https://doi.org/10.7551/mitpress/9153.001.0001openalex-snapshot
Certified Programming with Dependent Types
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-18506-0_7openalex-snapshot
High-Performance Defunctionalisation in Futhark
inferred← citeshttps://doi.org/10.1007/978-3-030-83978-9_1openalex-snapshot
Dataset Sensitive Autotuning of Multi-versioned Code Based on Monotonic Properties
inferred← citeshttps://doi.org/10.1007/978-981-97-2300-3_13openalex-snapshot
An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103379openalex-snapshot
An ML-style module system for cross-stage type abstraction in multi-stage programming
inferred← citeshttps://doi.org/10.1109/bigdata50022.2020.9378426openalex-snapshot
Approximate Nearest-Neighbour Fields via Massively-Parallel Propagation-Assisted K-D Trees
inferred← citeshttps://doi.org/10.1109/sc41404.2022.00063openalex-snapshot
AD for an Array Language with Nested Parallelism
inferred← citeshttps://doi.org/10.1145/3293883.3295707openalex-snapshot
Incremental flattening for nested data parallelism
inferred← citeshttps://doi.org/10.1145/3331553.3342617openalex-snapshot
Compositional deep learning in Futhark
inferred← citeshttps://doi.org/10.1145/3460944.3464310openalex-snapshot
Towards size-dependent types for array programming
inferred← citeshttps://doi.org/10.1145/3609024.3609412openalex-snapshot
Shape-Constrained Array Programming with Size-Dependent Types
inferred← citeshttps://doi.org/10.17760/d20383647openalex-snapshot
Typed programming language : the semantics of rank polymorphism
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.