On the public citation graph
The functional imperative: Shape!
0 signed · 45 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/978-1-4612-4118-8_9openalex-snapshot
Design of the Programming Language Forsythe
inferredcites →https://doi.org/10.1007/bfb0002796openalex-snapshot
A monadic calculus for parallel costing of a functional language of arrays
inferredcites →https://doi.org/10.1007/bfb0020455openalex-snapshot
Functional skeletons for parallel coordination
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferredcites →https://doi.org/10.1016/0167-6423(89)90016-6openalex-snapshot
Elementary data structures in ALGOL-like languages
inferredcites →https://doi.org/10.1017/cbo9780511526572openalex-snapshot
Two-Level Functional Languages
inferredcites →https://doi.org/10.1017/cbo9780511526626openalex-snapshot
Foundations of Parallel Programming
inferredcites →https://doi.org/10.1145/130697.130699openalex-snapshot
Report on the programming language Haskell
inferredcites →https://doi.org/10.1145/174675.177855openalex-snapshot
Implementation of the typed call-by-value λ-calculus using a stack of regions
inferredcites →https://doi.org/10.1145/199448.199475openalex-snapshot
Compiling polymorphism using intensional type analysis
inferredcites →https://doi.org/10.1145/258948.258959openalex-snapshot
The effectiveness of flow analysis for inlining
inferredcites →https://doi.org/10.1145/263699.263763openalex-snapshot
PolyP---a polytypic programming language extension
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11964681_13openalex-snapshot
A Binding Scope Analysis for Generic Programs on Arrays
inferred← citeshttps://doi.org/10.1007/978-1-4020-6268-1_81openalex-snapshot
Separation of Shape and Data
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_26openalex-snapshot
Contract-Based Verification of MATLAB and Simulink Matrix-Manipulating Code
inferred← citeshttps://doi.org/10.1007/978-3-540-27764-4_17openalex-snapshot
Prototyping Generic Programming in Template Haskell
inferred← citeshttps://doi.org/10.1007/978-3-540-27861-0_11openalex-snapshot
Polytypic Programming in Haskell
inferred← citeshttps://doi.org/10.1007/978-3-540-74130-5_1openalex-snapshot
On Optimising Shape-Generic Array Programs Using Symbolic Structural Information
inferred← citeshttps://doi.org/10.1007/978-3-540-76786-2_1openalex-snapshot
Datatype-Generic Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-24452-0_6openalex-snapshot
Descriptor-Free Representation of Arrays with Dependent Types
inferred← citeshttps://doi.org/10.1007/978-90-481-3658-2_91openalex-snapshot
Shapely Functions and Data Structure Preserving Computations
inferred← citeshttps://doi.org/10.1007/bfb0053558openalex-snapshot
Programming languages and systems : 7th European Symposium on Programming, ESOP '98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings
inferred← citeshttps://doi.org/10.1007/s00165-015-0353-zopenalex-snapshot
Contract-based verification of MATLAB-style matrix programs
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00027-1openalex-snapshot
Costing parallel programs as a function of shapes
inferred← citeshttps://doi.org/10.1016/s0167-6423(99)00028-3openalex-snapshot
Shapeliness analysis of functional programs with algebraic data types
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80081-1openalex-snapshot
Denotational Semantics of Shape:
inferred← citeshttps://doi.org/10.1017/s0956796800003816openalex-snapshot
Compilation of a specialized functional language for massively parallel computers
inferred← citeshttps://doi.org/10.1017/s0956796802004343openalex-snapshot
Parallel and Distributed Haskells
inferred← citeshttps://doi.org/10.1017/s0956796802004458openalex-snapshot
Single Assignment C: efficient support for high-level array operations in a functional setting
inferred← citeshttps://doi.org/10.1017/s0956796809007291openalex-snapshot
The essence of the Iterator pattern
inferred← citeshttps://doi.org/10.1142/s0129626403001379openalex-snapshot
SAC — FROM HIGH-LEVEL PROGRAMMING WITH ARRAYS TO EFFICIENT PARALLEL EXECUTION
inferred← citeshttps://doi.org/10.1145/1152649.1152651openalex-snapshot
An algebraic array shape inference system for MATLAB®
inferred← citeshttps://doi.org/10.1145/3519939.3523446openalex-snapshot
Exocompilation for productive programming of hardware accelerators
inferred← citeshttps://doi.org/10.14236/ewic/msfp2006.7openalex-snapshot
The Essence of the ITERATOR Pattern
inferred← citeshttps://doi.org/10.4204/eptcs.317.4openalex-snapshot
Multi-dimensional Arrays with Levels
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.