Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:16:12.584968Z
Paper Citation Record · LEDGER
Functional programming with lambda-tree syntax
As of 16 August 2026, this Paper Citation Record lists 63 of 63 outbound references and 0 inbound Pith citation observations for arXiv:1908.03619.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
63 of 63 outbound references displayed
- verified exact12
- verified fuzzy2
- unresolved47
- parse uncertain0
- malformed identifier0
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation d55ad041-c234-419a-9e0b-feed3601732f · outbound
This paper cites Mason, and Robert Poll ack.
Functional programming with lambda-tree syntax Mason, and Robert Poll ack
Reference 1
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.903009Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8db8be74-61c1-4a87-9b8f-6479a513001e · outbound
This paper cites Aydemir, Aaron Bohannon, Matthew Fairbairn, J.
Functional programming with lambda-tree syntax Aydemir, Aaron Bohannon, Matthew Fairbairn, J
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.308867Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 976af8e1-09dc-4c55-b28d-2719937923dc · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.907003Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3dd396fb-bf9b-44b9-af16-25c3eff5a31a · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.323070Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1189b66e-cbfc-4234-a47a-ef5386e94452 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.864500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 31437163-e969-4213-9eae-73226f48fa1a · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.892897Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 226663a1-6119-46da-92fc-5b8cd54f22b0 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.876919Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 49a35e25-3ff6-46fd-9730-d571940d828c · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.342591Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 862decd9-0be6-4439-a813-07a0758e935e · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.347931Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e901a96-314b-4f4c-a6f0-1be0440501f0 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.352598Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d9f40a7c-85fd-4c2c-a927-eb8d7dcdcc27 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.356853Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6ee63101-b724-48c5-b9fc-1149332f80b5 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.864137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e4703551-499b-457c-8900-62a89cc6771b · outbound
This paper cites Felty, Alberto Momigliano, and Brigitte Pientka.
Functional programming with lambda-tree syntax Felty, Alberto Momigliano, and Brigitte Pientka
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.804360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9707238d-6761-4313-ada1-3c0bb12ed53b · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.848736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8713f245-6f3f-4f2d-9c05-1f91931bacbd · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.833836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 195913be-0dd9-44d8-9438-8102be04b1d1 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 16
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.818219Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8f1911f4-e6fb-432d-ae00-a6b3288298e8 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 17
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.790456Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4bcc239f-9d2d-4873-9b58-2832e044bab1 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.774623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0e1d20fd-d001-465b-873f-4db662d49e0c · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 19
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.804557Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0767d92a-f495-4ade-800a-817def84111b · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 20
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.791249Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b32bf75b-9392-4298-b978-919f3c37c0c5 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.778201Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e07aa666-3b09-434f-988d-d94a187966fb · outbound
This paper cites Gordon, Arthur J.
Functional programming with lambda-tree syntax Gordon, Arthur J
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:16:13.763607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b59d2fb7-d952-41ef-a1b9-7e472b575a0d · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 23
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.747700Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 27510061-31d9-471d-bee4-1bc6f0448fdf · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.733304Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 08b416b9-436d-4d30-8fca-57c16a986357 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.709467Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation bc5a376c-35c0-4c08-bc78-25309af02a64 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.432120Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e1d2de80-e189-4019-ae68-57e00d5a754b · outbound
This paper cites Js_of_ocaml.
Functional programming with lambda-tree syntax Js_of_ocaml
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:16:13.694294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 62972cfe-adc1-4aa1-ba1f-365c85034b2e · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.568722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 646bd599-095f-4089-9d3b-2aacc3e5fc6c · outbound
This paper cites Licata and Robert Harper.
Functional programming with lambda-tree syntax Licata and Robert Harper
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.444767Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5c0c77b6-290a-4a3b-a2ef-9e7156d4c3d3 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 30
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T14:16:13.131790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b6779bfc-4023-43c9-b1be-59d52c8e1a67 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.554818Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5106258d-b1d7-4658-bc0d-84e9b029096b · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.456618Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cbdfaa3c-e3f9-4d14-8c13-b993fb84e112 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.460703Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bce057fd-1e00-4f57-90e9-04f3c04993d0 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 34
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.732160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ec260463-86c1-4f77-8042-28bd0afaadf1 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.708736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6b03b22c-974f-483e-b760-07d523caaab8 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 36
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.693066Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 59358600-05f9-41ee-8e71-4046b8a7f3d2 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.478177Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5fefc03a-bc82-4b7f-8ddd-4dab4cf26523 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.539536Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3c81aeb1-c619-4470-b38d-7955de54a689 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.486050Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83a3e3cc-b71c-493f-953e-463228313fcd · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.524853Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 27e4bee0-4d24-4e36-b5de-b9b0532b2b89 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.511215Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 65c5c0ed-ba7e-4450-af7f-f2b26fff5c1b · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.496633Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e9a03098-0771-4cf0-9b78-02b8709ce8fe · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.482079Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c7771541-4174-46d8-ada9-6d7cb5db8189 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.468979Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 10b4345f-90c7-4278-8035-1d8f5c299178 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 45
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.456303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6c96842f-9595-4b2d-a969-1deab55a3959 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.516133Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dbb70083-dfaa-4750-96e2-7cede9c45d9b · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 47
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.442507Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dfcdb4d0-e5bb-4d19-8bdf-090444aeff98 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 48
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.427829Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 70311d09-b4b7-40cd-947b-97bb506a987a · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.413548Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e22e797a-69ce-4347-8e93-e7e4ef97fdca · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 50
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.398187Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b18a59e4-fb7c-4655-9c78-2c4f2c3d0733 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 51
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.383927Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d3d4fd9e-8bfe-4267-a870-d6e6a9c2d2dd · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 52
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.655342Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c33b9d85-ef7d-4004-8322-09556576c53b · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 53
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.369389Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dbc6e4ec-844a-4cd6-8ff8-6b6b26022e72 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 54
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.354050Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fb9c44dc-ff68-4abe-bf08-5b999dbd04f0 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 55
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.339695Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 70f3125d-5e15-4465-8719-8271667d9fc9 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 56
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.640624Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d914f354-6d35-4011-ae01-e3055f2d83a6 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 57
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.625703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2c85cd17-eddd-4165-bf27-2b0577cb290a · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 58
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.324699Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 93f5fc87-481b-4d0b-af07-196b9c196874 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 59
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.311470Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 33ebfecc-b9eb-4713-93de-40143cdfc959 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 60
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:16:13.296411Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation dc427f51-d9a7-4d19-a7fd-62f8962760d8 · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 89
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:16:12.318332Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 58e36f28-bab7-480e-9c6c-1c3385bfe82a · outbound
This paper cites In Proceed- ings of the 15th International Symposium on Princples and Prac tice of Declar- ative Programming (PPDP) , Tom Schrijvers (Ed.).
Functional programming with lambda-tree syntax In Proceed- ings of the 15th International Symposium on Princples and Prac tice of Declar- ative Programming (PPDP) , Tom Schrijvers (Ed.)
Reference 2013
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T14:16:12.980619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7fc9b3d1-f15b-4954-8d9f-e1eb2084484e · outbound
This paper cites an unresolved cited work.
Functional programming with lambda-tree syntax Unresolved cited work
Reference 2015
- Resolution
- verified exact
- doi, observed 2026-08-14T14:16:12.819885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.