Papers cited in paper_scheme_scope_hygiene.md, organized by domain.
See PLAN.md for detailed classification, OCR quality assessment, and fix history.
papers/
PLAN.md <- organization plan and OCR fix log
README.md <- this file
pl/ <- Programming Language theory papers
pdf/ <- original PDFs
md/ <- OCR'd markdown (cleaned)
ml/ <- ML/LLM papers
pdf/ <- original PDFs
md/ <- markdown conversions
dspy/ <- DSPy-related papers (to be acquired)
pdf/
md/
Core programming-language theory papers.
| File | Citation | Role in Paper |
|---|---|---|
kohlbecker_1986_hygienic |
Kohlbecker et al. 1986 | Core analogy: hygienic macro expansion |
felleisen_1988_prompts |
Felleisen 1988 | Delimited continuations (shift/reset) |
danvy_filinski_1990_control |
Danvy & Filinski 1990 | Abstracting control operators |
dybvig_1993_syntactic_abstraction |
Dybvig et al. 1993 | Syntax objects, scope sets |
steele_sussman_1978_scheme |
Steele & Sussman 1978 | Scheme language foundation |
flatt_2016_scope_sets |
Flatt 2016 | Modern scope-set model |
taha_sheard_1997_metaml |
Taha & Sheard 1997 | Multi-stage programming, MetaML |
davies_pfenning_2001_modal |
Davies & Pfenning 2001 | Modal types for staged computation |
matthews_findler_2007_multilang |
Matthews & Findler 2007 | Multi-language semantics |
filinski_1994_monads |
Filinski 1994 | Representing monads (companion note) |
moggi_1991_monads |
Moggi 1991 | Notions of computation (companion note) |
wadler_1995_monads |
Wadler 1995 | Monads tutorial (companion note) |
| File | Citation | Role |
|---|---|---|
zhang_2026_rlm |
Zhang, Kraska, Khattab 2026 | Primary subject: Recursive Language Models |
wang_2024_codeact |
Wang et al. 2024 | Related work: executable code actions |
cassano_2022_multiple |
Cassano et al. 2022 | Related work: MultiPL-E benchmarks |
| Citation | Notes |
|---|---|
| Clinger & Rees 1991 - Macros That Work | ACM paywall; available via institutional access |
| Khattab et al. 2024 - DSPy (arXiv:2310.03714) | To be acquired |