On the public citation graph
How statically-typed functional programmers write code
0 signed · 86 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.1006/jvlc.1996.0009openalex-snapshot
Usability Analysis of Visual Programming Environments: A ‘Cognitive Dimensions’ Framework
inferredcites →https://doi.org/10.1007/978-1-4471-0111-6openalex-snapshot
Software Design — Cognitive Aspects
inferredcites →https://doi.org/10.1007/978-1-4939-0378-8_2openalex-snapshot
Curiosity, Creativity, and Surprise as Analytic Tools: Grounded Theory Method
inferredcites →https://doi.org/10.1007/978-3-662-03035-6_2openalex-snapshot
From Individuals to Groups Through Artifacts: The Changing Semantics of Design in Software Development
inferredcites →https://doi.org/10.1007/s10664-020-09810-1openalex-snapshot
Explicit programming strategies
inferredcites →https://doi.org/10.1016/0164-1212(87)90032-xopenalex-snapshot
Cognitive processes in program comprehension
inferredcites →https://doi.org/10.1016/b978-0-12-350772-3.50019-7openalex-snapshot
Expert Programming Knowledge: A Strategic Approach
inferredcites →https://doi.org/10.1016/b978-0-934613-12-5.50042-2openalex-snapshot
Empirical Studies of Programming Knowledge This work was supported in part by the National Science Foundation, under NSF Grants MCS-8302382 and IST-8310659, and by a contribution from the Burroughs Corporation. However, the views expressed in this paper do not necessarily reflect those of the…
inferredcites →https://doi.org/10.1016/j.infsof.2007.02.011openalex-snapshot
Using grounded theory to understand software process improvement: A study of Irish software product companies
inferredcites →https://doi.org/10.1016/j.jss.2012.01.059openalex-snapshot
Reconciling perspectives: A grounded theory of how people manage the process of software development
inferredcites →https://doi.org/10.1016/j.jss.2014.03.050openalex-snapshot
Using a grounded theory approach for exploring software product management challenges
inferredcites →https://doi.org/10.1016/s0166-4115(08)62386-9openalex-snapshot
Development of NASA-TLX (Task Load Index): Results of Empirical and Theoretical Research
inferredcites →https://doi.org/10.1016/s0364-0213(84)80013-0openalex-snapshot
Learning to program in LISP
inferredcites →https://doi.org/10.1037/h0080061openalex-snapshot
The role of learning from examples in the acquisition of recursive programming skills.
inferredcites →https://doi.org/10.1080/01449299108924281openalex-snapshot
Characterizing the program design activity: neither strictly top-down nor globally opportunistic
inferredcites →https://doi.org/10.1080/026783700417249openalex-snapshot
Review and reappraisal of modelling and predicting mental workload in single- and multi-task environments
inferredcites →https://doi.org/10.1080/07370024.1990.9667157openalex-snapshot
Designing the Design Process: Exploiting Opportunistic Thoughts
inferredcites →https://doi.org/10.1093/acprof:oso/9780198528012.001.0001openalex-snapshot
Working Memory, Thought, and Action
inferredcites →https://doi.org/10.1109/2.402076openalex-snapshot
Program comprehension during software maintenance and evolution
inferredcites →https://doi.org/10.1109/cesi.2017.2openalex-snapshot
Lessons Learned from an Extended Participant Observation Grounded Theory Study
inferredcites →https://doi.org/10.1109/esem.2015.7321188openalex-snapshot
An Empirical Study on the Patterns of Eye Movement during Summarization Tasks
inferredcites →https://doi.org/10.1109/hcc.2003.1260196openalex-snapshot
Development and evaluation of a model of programming errors
inferredcites →https://doi.org/10.1109/icastech.2009.5409746openalex-snapshot
MobiNET: A framework for supporting Java mobile application developers through contextual inquiry
inferredcites →https://doi.org/10.1109/icpc.2007.10openalex-snapshot
Assessing the Comprehension of UML Class Diagrams via Eye Tracking
inferredcites →https://doi.org/10.1109/icse.1996.493406openalex-snapshot
Industrial experience with design patterns
inferredcites →https://doi.org/10.1109/icse.2012.6227188openalex-snapshot
How do professional developers comprehend software?
inferredcites →https://doi.org/10.1109/mc.2016.200openalex-snapshot
Programmers Are Users Too: Human-Centered Methods for Improving Programming Tools
inferredcites →https://doi.org/10.1109/tse.1985.231883openalex-snapshot
The Role of Domain Expenence in Software Design
inferredcites →https://doi.org/10.1109/tse.2012.30openalex-snapshot
Self-Organizing Roles on Agile Software Development Teams
inferredcites →https://doi.org/10.1109/tse.2015.2442238openalex-snapshot
An Eye-Tracking Study of Java Programmers and Application to Source Code Summarization
inferredcites →https://doi.org/10.1109/vl.2000.874379openalex-snapshot
Tabular and textual methods for selecting objects from a group
inferredcites →https://doi.org/10.1145/1015864.1015888openalex-snapshot
Natural programming languages and environments
inferredcites →https://doi.org/10.1145/1064978.1065045openalex-snapshot
Programming by sketching for bit-streaming programs
inferredcites →https://doi.org/10.1145/1117309.1117356openalex-snapshot
An eye-tracking methodology for characterizing program comprehension processes
inferredcites →https://doi.org/10.1145/1168857.1168907openalex-snapshot
Combinatorial sketching for finite programs
inferredcites →https://doi.org/10.1145/1453101.1453117openalex-snapshot
The implications of method placement on API learnability
inferredcites →https://doi.org/10.1145/2168556.2168592openalex-snapshot
Visual attention patterns during program debugging with an IDE
inferredcites →https://doi.org/10.1145/2361276.2361301openalex-snapshot
The importance of students' attention to program state
inferredcites →https://doi.org/10.1145/2568225.2568247openalex-snapshot
Improving automated source code summarization via an eye-tracking study of programmers
inferredcites →https://doi.org/10.1145/2591708.2591762openalex-snapshot
A qualitative think-aloud study of novice programmers' code writing strategies
inferredcites →https://doi.org/10.1145/2594291.2594340openalex-snapshot
A lightweight symbolic virtual machine for solver-aided host languages
inferredcites →https://doi.org/10.1145/2666356.2594340openalex-snapshot
A lightweight symbolic virtual machine for solver-aided host languages
inferredcites →https://doi.org/10.1145/2839509.2844574openalex-snapshot
On the Interplay Between Bottom-Up and Datatype-Driven Program Design
inferredcites →https://doi.org/10.1145/2884781.2884833openalex-snapshot
Grounded theory in software engineering research
inferredcites →https://doi.org/10.1145/2908080.2908117openalex-snapshot
Verified lifting of stencil computations
inferredcites →https://doi.org/10.1145/3105726.3106183openalex-snapshot
Sometimes, Rainfall Accumulates
inferredcites →https://doi.org/10.1145/3159450.3159453openalex-snapshot
Fix the First, Ignore the Rest
inferredcites →https://doi.org/10.1145/3236024.3236040openalex-snapshot
How should compilers explain problems to developers?
inferredcites →https://doi.org/10.1145/3242744.3242760openalex-snapshot
Suggesting valid hole fits for typed-holes (experience report)
inferredcites →https://doi.org/10.1145/3313831.3376382openalex-snapshot
Enabling Data-Driven API Design with Community Usage Data
inferredcites →https://doi.org/10.1145/3328778.3366847openalex-snapshot
Qualitative Analyses of Movements Between Task-level and Code-level Thinking of Novice Programmers
inferredcites →https://doi.org/10.1145/3377812.3390808openalex-snapshot
Understanding DevOps education with Grounded theory
inferredcites →https://doi.org/10.1145/3377814.3381711openalex-snapshot
Understanding devops education with grounded theory
inferredcites →https://doi.org/10.1145/3408991openalex-snapshot
Program sketching with live bidirectional evaluation
inferredcites →https://doi.org/10.1145/3411763.3451515openalex-snapshot
How Statically-Typed Functional Programmers Author Code
inferredcites →https://doi.org/10.1145/3428295openalex-snapshot
Just-in-time learning for bottom-up enumerative synthesis
inferredcites →https://doi.org/10.1145/6138.6145openalex-snapshot
Novice mistakes: are the folk wisdoms correct?
inferredcites →https://doi.org/10.1145/765891.766135openalex-snapshot
A contextual inquiry of expert programmers in an event-based programming environment
inferredcites →https://doi.org/10.1207/s15327051hci0204_3openalex-snapshot
A Cognitive Model and Computer Tutor for Programming Recursion
inferredcites →https://doi.org/10.4230/oasics.plateau.2019.3openalex-snapshot
Type-Directed Program Transformations for the Working Functional Programmer
inferredcites →https://doi.org/10.53841/bpsqmip.2006.1.2.36openalex-snapshot
Constructing Grounded Theory. A Practical Guide Through Qualitative Analysis
inferredcites →https://doi.org/10.5555/227726.227747openalex-snapshot
Industrial experience with design patterns
inferredcites →https://doi.org/10.5840/inquiryctnews199515125openalex-snapshot
Interpretation as Action
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/s10664-024-10585-yopenalex-snapshot
How do developers use type inference: an exploratory study in Kotlin
inferred← citeshttps://doi.org/10.1109/icse48619.2023.00132openalex-snapshot
Usability-Oriented Design of Liquid Types for Java
inferred← citeshttps://doi.org/10.1145/3478431.3499347openalex-snapshot
Sympathy for the (Novice) Developer
inferred← citeshttps://doi.org/10.1145/3586030openalex-snapshot
Grounded Copilot: How Programmers Interact with Code-Generating Models
inferred← citeshttps://doi.org/10.1145/3598579.3689377openalex-snapshot
Teaching Programming Error Message Understanding
inferred← citeshttps://doi.org/10.1145/3607836openalex-snapshot
How to Evaluate Blame for Gradual Types, Part 2
inferred← citeshttps://doi.org/10.1145/3622841openalex-snapshot
A Grounded Conceptual Model for Ownership Types in Rust
inferred← citeshttps://doi.org/10.1145/3656453openalex-snapshot
Equivalence by Canonicalization for Synthesis-Backed Refactoring
inferred← citeshttps://doi.org/10.1145/3720426openalex-snapshot
QED in Context: An Observation Study of Proof Assistant Users
inferred← citeshttps://doi.org/10.1145/3723325.3723339openalex-snapshot
What about Haskell Bugs? Adapting bug taxonomies to Haskell's features and community
inferred← citeshttps://doi.org/10.1145/3759429.3762619openalex-snapshot
ScooPy: Enhancing Program Synthesis with Nested Example Specifications
inferred← citeshttps://doi.org/10.1145/3763181openalex-snapshot
On the Impact of Formal Verification on Software Development
inferred← citeshttps://doi.org/10.1145/3779209.3779535openalex-snapshot
Hole Refinements for Polymorphic Type-and-Example Driven Synthesis
inferred← citeshttps://doi.org/10.1145/3794763.3794800openalex-snapshot
Do Developers Read Type Information? An Eye-Tracking Study on TypeScript
inferred← citeshttps://doi.org/10.1145/3794763.3794812openalex-snapshot
The Way of Types: A Report on Developer Experience with Type-Driven Development
inferred← citeshttps://doi.org/10.1145/3838790.3838795openalex-snapshot
Programs and Proofs in Practice
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.