On the public citation graph
DrScheme: A pedagogic programming environment for scheme
0 signed · 127 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.1016/0167-6423(91)90036-wopenalex-snapshot
On the expressive power of programming languages
inferredcites →https://doi.org/10.1016/0304-3975(92)90014-7openalex-snapshot
The revised report on the syntactic theories of sequential control and state
inferredcites →https://doi.org/10.1109/52.17800openalex-snapshot
Bridging the gap between object-oriented and logic programming
inferredcites →https://doi.org/10.1145/155090.155095openalex-snapshot
Abstract debugging of higher-order imperative languages
inferredcites →https://doi.org/10.1145/17919.806839openalex-snapshot
An environment for logic programming
inferredcites →https://doi.org/10.1145/17919.806840openalex-snapshot
A model and an implementation of a logic programming environment
inferredcites →https://doi.org/10.1145/182409.182495openalex-snapshot
Set-based analysis of ML programs
inferredcites →https://doi.org/10.1145/231379.231387openalex-snapshot
Catching bugs in the web of program invariants
inferredcites →https://doi.org/10.1145/24697.24706openalex-snapshot
A critique of Abelson and Sussman or why calculating is better than scheming
inferredcites →https://doi.org/10.1145/258915.258937openalex-snapshot
Componential set-based analysis
inferredcites →https://doi.org/10.1145/382130.382133openalex-snapshot
Revised 4 report on the algorithmic language scheme
inferredcites →https://doi.org/10.1145/62678.62686openalex-snapshot
λ-V-CS: an extended λ-calculus for scheme
inferredcites →https://doi.org/10.1145/800225.806839openalex-snapshot
An environment for logic programming
inferredcites →https://doi.org/10.1145/800225.806840openalex-snapshot
A model and an implementation of a logic programming environment
inferredcites →https://doi.org/10.21236/ada276522openalex-snapshot
Incremental Recompilation for Standard ML of New Jersey
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/11561347_25openalex-snapshot
Syntactic Abstraction in Component Interfaces
inferred← citeshttps://doi.org/10.1007/11924661_17openalex-snapshot
Scheme with Classes, Mixins, and Traits
inferred← citeshttps://doi.org/10.1007/3-540-36579-6_11openalex-snapshot
Polyglot: An Extensible Compiler Framework for Java
inferred← citeshttps://doi.org/10.1007/3-540-40048-6_9openalex-snapshot
From Macros to Reusable Generative Programming
inferred← citeshttps://doi.org/10.1007/3-540-45309-1_21openalex-snapshot
Modeling an Algebraic Stepper
inferred← citeshttps://doi.org/10.1007/3-540-46017-9_7openalex-snapshot
The Influence of Software Module Systems on Modular Verification
inferred← citeshttps://doi.org/10.1007/3-540-48737-9_7openalex-snapshot
A Programmer’s Reduction Semantics for Classes and Mixins
inferred← citeshttps://doi.org/10.1007/3-540-49099-x_17openalex-snapshot
Expressing Structural Properties as Language Constructs?
inferred← citeshttps://doi.org/10.1007/978-1-4612-1298-0_6openalex-snapshot
Towards Truly Educational Programming Environments
inferred← citeshttps://doi.org/10.1007/978-3-319-27653-3openalex-snapshot
Languages, Applications and Technologies
inferred← citeshttps://doi.org/10.1007/978-3-319-27653-3_10openalex-snapshot
Combining Processing with Racket
inferred← citeshttps://doi.org/10.1007/978-3-642-13953-6_9openalex-snapshot
Contract-Driven Testing of JavaScript Code
inferred← citeshttps://doi.org/10.1007/978-3-642-24722-4_16openalex-snapshot
Introductory Computing: The Design Discipline
inferred← citeshttps://doi.org/10.1007/978-981-19-1280-1_2openalex-snapshot
Comprehending Algorithmic Design
inferred← citeshttps://doi.org/10.1007/bfb0054088openalex-snapshot
Synthesizing object-oriented and functional design to promote re-use
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80701-7openalex-snapshot
Program Units as Higher-Order Modules
inferred← citeshttps://doi.org/10.1017/9781108654555openalex-snapshot
The Cambridge Handbook of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.001openalex-snapshot
An Important and Timely Field
inferred← citeshttps://doi.org/10.1017/9781108654555.002openalex-snapshot
The History of Computing Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.003openalex-snapshot
Computing Education Research Today
inferred← citeshttps://doi.org/10.1017/9781108654555.004openalex-snapshot
Computing EducationLiterature Review and Voices from the Field
inferred← citeshttps://doi.org/10.1017/9781108654555.008openalex-snapshot
Qualitative Methods for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.009openalex-snapshot
Learning Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.010openalex-snapshot
Cognitive Sciences for Computing Education
inferred← citeshttps://doi.org/10.1017/9781108654555.012openalex-snapshot
Engineering Education Research
inferred← citeshttps://doi.org/10.1017/9781108654555.013openalex-snapshot
Novice Programmers and Introductory Programming
inferred← citeshttps://doi.org/10.1017/9781108654555.014openalex-snapshot
Programming Paradigms and Beyond
inferred← citeshttps://doi.org/10.1017/9781108654555.020openalex-snapshot
Computing for Other Disciplines
inferred← citeshttps://doi.org/10.1017/9781108654555.024openalex-snapshot
Leveraging the Integrated Development Environment for Learning Analytics
inferred← citeshttps://doi.org/10.1017/9781108654555.025openalex-snapshot
Teacher Knowledge for Inclusive Computing Learning
inferred← citeshttps://doi.org/10.1017/9781108654555.026openalex-snapshot
Teacher Learning and Professional Development
inferred← citeshttps://doi.org/10.1017/9781108654555.027openalex-snapshot
Learning Outside the Classroom
inferred← citeshttps://doi.org/10.1017/9781108654555.028openalex-snapshot
Student Knowledge and Misconceptions
inferred← citeshttps://doi.org/10.1017/9781108654555.029openalex-snapshot
Motivation, Attitudes, and Dispositions
inferred← citeshttps://doi.org/10.1017/9781108654555.030openalex-snapshot
Students As Teachers and Communicators
inferred← citeshttps://doi.org/10.1017/9781108654555.031openalex-snapshot
A Case Study of Peer Instruction
inferred← citeshttps://doi.org/10.1017/9781108654555.032openalex-snapshot
A Case Study of Qualitative Methods
inferred← citeshttps://doi.org/10.1017/s0956796800003725openalex-snapshot
Bee: an integrated development environment for the Scheme programming language
inferred← citeshttps://doi.org/10.1017/s0956796803004799openalex-snapshot
Welcome to the Educational Pearls Column
inferred← citeshttps://doi.org/10.1017/s0956796803214878openalex-snapshot
Trends in Functional Programming (volumes 1 & 2) by Greg Michaelson, Phil Trinder and Hans-Wolfgang Loidl (editors volume 1), and Stephen Gilmore (editor volume 2). Intellect Books, Bristol, 2001, 2002
inferred← citeshttps://doi.org/10.1017/s0956796803224874openalex-snapshot
Implicit parallel programming in pH by R. S. Nikhil and Arvind, Morgan Kaufmann, 2001
inferred← citeshttps://doi.org/10.1017/s0956796803254873openalex-snapshot
Essentials of Programming Languages (2nd ed) by Daniel P. Friedman, Mitchell Wand and Christopher T. Haynes, MIT Press, ISBN 0-262-06217-8, 2001
inferred← citeshttps://doi.org/10.1017/s095679680326487xopenalex-snapshot
The World of Scripting Languages by David W. Barron, John Wiley & Sons, 2000, ISBN 0-471-99886-9
inferred← citeshttps://doi.org/10.1017/s0956796804005052openalex-snapshot
Computer literacy via Scheme and web programming
inferred← citeshttps://doi.org/10.1080/08993400500056530openalex-snapshot
A First Look at Novice Compilation Behaviour Using BlueJ
inferred← citeshttps://doi.org/10.1080/10447318.2023.2269006openalex-snapshot
ChatGPT in the Classroom. Exploring Its Potential and Limitations in a Functional Programming Course
inferred← citeshttps://doi.org/10.1109/access.2024.3443879openalex-snapshot
A Choice-Based Programming Learning Method to Develop Problem-Solving Skills
inferred← citeshttps://doi.org/10.1109/fie.2009.5350866openalex-snapshot
Language subsetting via reflection and overloading
inferred← citeshttps://doi.org/10.1109/icmla.2016.0074openalex-snapshot
A Formal Design for the Lexical and Syntax Analyzer of a Pedagogically Effective Subset of C++
inferred← citeshttps://doi.org/10.1109/opnarc.2002.1019235openalex-snapshot
Safe kernel programming in the OKE
inferred← citeshttps://doi.org/10.1109/searis.2012.6231166openalex-snapshot
VR JuggLua: A framework for VR applications combining Lua, OpenSceneGraph, and VR Juggler
inferred← citeshttps://doi.org/10.1109/tetc.2015.2446192openalex-snapshot
Gradually Learning Programming Supported by a Growable Programming Language
inferred← citeshttps://doi.org/10.1145/1028174.971357openalex-snapshot
Taming a professional IDE for the classroom
inferred← citeshttps://doi.org/10.1145/1028174.971423openalex-snapshot
Scheme-based web programming as a basis for a CS0 curriculum
inferred← citeshttps://doi.org/10.1145/1085114.1085118openalex-snapshot
Laziness without all the hard work
inferred← citeshttps://doi.org/10.1145/1094811.1094830openalex-snapshot
Fine-grained interoperability through mirrors and contracts
inferred← citeshttps://doi.org/10.1145/1411260.1411262openalex-snapshot
Htdp and dmda in the battlefield
inferred← citeshttps://doi.org/10.1145/1411260.1411264openalex-snapshot
Functional programming and theorem proving for undergraduates
inferred← citeshttps://doi.org/10.1145/1508865.1508919openalex-snapshot
Test-driven design for introductory OO programming
inferred← citeshttps://doi.org/10.1145/1539024.1508919openalex-snapshot
Test-driven design for introductory OO programming
inferred← citeshttps://doi.org/10.1145/1637837.1637843openalex-snapshot
Automatic verification for interactive graphical programs
inferred← citeshttps://doi.org/10.1145/1640134.1640140openalex-snapshot
Contracts for first-class modules
inferred← citeshttps://doi.org/10.1145/1837513.1640140openalex-snapshot
Contracts for first-class modules
inferred← citeshttps://doi.org/10.1145/2094131.2094143openalex-snapshot
Making teaching of programming learning-oriented and learner-directed
inferred← citeshttps://doi.org/10.1145/3133850.3133862openalex-snapshot
Error messages are classifiers: a process to design and evaluate error messages
inferred← citeshttps://doi.org/10.1145/317636.317793openalex-snapshot
Programming languages as operating systems ( or revenge of the son of the lisp machine)
inferred← citeshttps://doi.org/10.1145/317765.317793openalex-snapshot
Programming languages as operating systems ( or revenge of the son of the lisp machine)
inferred← citeshttps://doi.org/10.1145/3357766.3359540openalex-snapshot
From DSL specification to interactive computer programming environment
inferred← citeshttps://doi.org/10.1145/3426425.3426933openalex-snapshot
Software language engineers’ worst nightmare
inferred← citeshttps://doi.org/10.1145/3689492.3689806openalex-snapshot
The Linguistics of Programming
inferred← citeshttps://doi.org/10.1145/3754508.3754510openalex-snapshot
Source Code Without Implicitness: Explicit Source Prose For Programming Education
inferred← citeshttps://doi.org/10.1145/3759534.3762683openalex-snapshot
TIDE: An Educational Live Programming Environment to Compose Graphics with PyTamaro
inferred← citeshttps://doi.org/10.1145/581478.581484openalex-snapshot
Contracts for higher-order functions
inferred← citeshttps://doi.org/10.1145/944705.944721openalex-snapshot
A user-centred approach to functions in Excel
inferred← citeshttps://doi.org/10.17918/etd-6098openalex-snapshot
openHTML: Assessing Barriers and Designing Tools for Learning Web Development
inferred← citeshttps://doi.org/10.22028/d291-25722openalex-snapshot
Set based failure diagnosis for concurrent constraint programming
inferred← citeshttps://doi.org/10.31274/rtd-20201107-79openalex-snapshot
Design and implementation of a reusable type inference engine and its application to Scheme
inferred← citeshttps://doi.org/10.4204/eptcs.114.2openalex-snapshot
Proof Pad: A New Development Environment for ACL2
inferred← citeshttps://doi.org/10.4230/oasics.slate.2014.127openalex-snapshot
Implementing Python for DrRacket
inferred← citeshttps://doi.org/10.4236/ica.2013.42027openalex-snapshot
Identification of Categorical Registration Data of Domain Names in Data Warehouse Construction Task
inferred← citeshttps://doi.org/10.4236/jsea.2012.510094openalex-snapshot
The Effects of Objects-First and Objects-Late Methods on Achievements of OOP Learners
inferred← citeshttps://doi.org/10.52842/conf.ecaade.2010.081openalex-snapshot
Revisiting the Architecture Curriculum: The programming perspective
inferred← citeshttps://doi.org/10.5381/jot.2012.11.1.a6openalex-snapshot
JSConTest: Contract-Driven Testing and Path Effect Inference for JavaScript.
inferred← citeshttps://doi.org/10.5555/3005729.3005730openalex-snapshot
Refactoring Dynamic Languages
inferred← citeshttps://doi.org/10.70675/e2349f00z27a4z4705z8fb0zd7661b25fad9openalex-snapshot
IDE as Code : reifying language protocols as first-class citizens
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.