On the public citation graph

Design and implementation of a simple typed language based on the lambda-calculus

https://doi.org/10.48456/tr-75
0 signed · 32 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.4380090105openalex-snapshot
A new implementation technique for applicative languages
inferredcites →https://doi.org/10.1007/3-540-09981-6_19openalex-snapshot
The theory and practice of transforming call-by-need into call-by-value
inferredcites →https://doi.org/10.1007/978-3-319-30936-1_24openalex-snapshot
Recursion Equations as a Programming Language
inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem
inferredcites →https://doi.org/10.1145/321992.321996openalex-snapshot
A Transformation System for Developing Recursive Programs
inferredcites →https://doi.org/10.1145/365230.365257openalex-snapshot
The next 700 programming languages
inferredcites →https://doi.org/10.1145/502874.502880openalex-snapshot
Efficient compilation of lazy evaluation
inferredcites →https://doi.org/10.1145/567446.567448openalex-snapshot
Data types, parameters and type checking
inferredcites →https://doi.org/10.1145/800017.800528openalex-snapshot
An ideal model for recursive polymorphic types
inferredcites →https://doi.org/10.1145/800017.800529openalex-snapshot
Coercion and type inference
inferredcites →https://doi.org/10.1145/800068.802156openalex-snapshot
A semantic model of types for applicative languages
inferredcites →https://doi.org/10.1145/800087.802799openalex-snapshot
HOPE
inferredcites →https://doi.org/10.2307/2004908openalex-snapshot
The SNOBOL 4 Programming Language
inferredcites →https://doi.org/10.2307/2182128openalex-snapshot
Translations from the Philosophical Writings of Gottlob Frege.
inferredcites →https://doi.org/10.2307/2268661openalex-snapshot
On sentences which are true of direct unions of algebras
inferredcites →https://doi.org/10.2307/2273733openalex-snapshot
Another algorithm for bracket abstraction
inferredcites →https://doi.org/10.48456/tr-56openalex-snapshot
A new scheme for writing functional operating systems

What points at this work

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

inferred← citeshttps://doi.org/10.1007/3-540-18317-5_3openalex-snapshot
Tim: A simple, lazy abstract machine to execute supercombinators
inferred← citeshttps://doi.org/10.1007/3-540-18420-1_49openalex-snapshot
A simple abstract machine to execute supercombinators
inferred← citeshttps://doi.org/10.1007/3-540-19020-1_18openalex-snapshot
dI-domains as a model of polymorphism
inferred← citeshttps://doi.org/10.1007/bfb0016351openalex-snapshot
Functional programming languages as a software engineering tool
inferred← citeshttps://doi.org/10.1007/bfb0018348openalex-snapshot
A note on categorical datatypes
inferred← citeshttps://doi.org/10.1016/0020-0190(88)90156-1openalex-snapshot
Strictness analysis of the untyped λ-calculus
inferred← citeshttps://doi.org/10.1016/0890-5401(88)90005-3openalex-snapshot
The calculus of constructions
inferred← citeshttps://doi.org/10.1016/0890-5401(89)90068-0openalex-snapshot
Domain theoretic models of polymorphism
inferred← citeshttps://doi.org/10.1145/115865.115896openalex-snapshot
Compiling the polymorphic λ-calculus
inferred← citeshttps://doi.org/10.1145/1238844.1238856openalex-snapshot
A history of Haskell
inferred← citeshttps://doi.org/10.1145/2746325.2746330openalex-snapshot
Church Encoding of Data Types Considered Harmful for Implementations
inferred← citeshttps://doi.org/10.1145/319838.319853openalex-snapshot
Code generation techniques for functional languages
inferred← citeshttps://doi.org/10.1145/72551.72554openalex-snapshot
Conception, evolution, and application of functional programming languages
inferred← citeshttps://doi.org/10.17863/cam.15863openalex-snapshot
Names and higher-order functions.
inferred← citeshttps://doi.org/10.4230/lipics.itp.2019.31openalex-snapshot
Domain Theory and the Logic of Observable Properties
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.