Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T16:00:03.548343Z
Paper Citation Record · LEDGER
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)
As of 16 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:1908.00441.
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
43 of 43 outbound references displayed
- verified exact4
- verified fuzzy12
- unresolved24
- parse uncertain0
- malformed identifier0
- metadata mismatch3
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e9ec60db-f5af-469b-b6bc-b46aa3775244 · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.157874Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4825aef4-f2ac-432a-9a8b-3e30d822581b · outbound
This paper cites IFIP State-of-the-Art Reports: Formal Description of Programming Concepts (1991), 431–507.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) IFIP State-of-the-Art Reports: Formal Description of Programming Concepts (1991), 431–507
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.750566Z
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 44ad278c-38e8-4294-9714-b25a37c309f4 · outbound
This paper cites ACM Trans.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) ACM Trans
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.767241Z
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 90af5eb0-be5d-4709-af0e-2f2eefa0ac0b · outbound
This paper cites InProceedings of the ACM SIGPLAN’91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991, David S.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) InProceedings of the ACM SIGPLAN’91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991, David S
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.299398Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 756c012c-1880-4254-a06b-36b26c9276ea · outbound
This paper cites Logical Methods in Computer Science 14, 4 (2018).
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Logical Methods in Computer Science 14, 4 (2018)
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.136524Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9acf5185-1aeb-4052-862a-c6c81ec8dff8 · outbound
This paper cites In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, David S.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, Orlando, Florida, USA, January 21-23, 1991, David S
Reference 19
- Resolution
- verified exact
- raw_fallback, observed 2026-08-14T16:00:05.053148Z
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 187958fe-cb62-4231-b635-8d62c64f9fb1 · outbound
This paper cites In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.693067Z
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 ee9af283-3101-4ced-8595-5d8dd297c27d · outbound
This paper cites https://doi.org/10.1145/3314221.3314630 Oleg Kiselyov, Ralf Lämmel, and Keean Schupke.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) https://doi.org/10.1145/3314221.3314630 Oleg Kiselyov, Ralf Lämmel, and Keean Schupke
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.371698Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4d7e53eb-9c06-4179-9ddd-9f4808de7677 · outbound
This paper cites PACMPL 3, POPL (2019), 12:1–12:28.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) PACMPL 3, POPL (2019), 12:1–12:28
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.661145Z
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 57cddb32-cc1c-4a0c-93ee-a6de529daa62 · outbound
This paper cites In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementat ion, Tucson, AZ, USA, June 7-13, 2008.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementat ion, Tucson, AZ, USA, June 7-13, 2008
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.640138Z
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 42277a25-9fb3-4b55-891e-735070222d3a · outbound
This paper cites IEEE Trans.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) IEEE Trans
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.428891Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 24a52d4e-9f34-4829-afb4-d62710900be6 · outbound
This paper cites https://doi.org/10.1145/325694.325724 Christopher A.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) https://doi.org/10.1145/325694.325724 Christopher A
Reference 33
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T16:00:04.393155Z
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 98e5f31c-be7f-4c3f-9ec6-1c2335b2850e · outbound
This paper cites ACM Trans.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) ACM Trans
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.457080Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0cf3a3f7-d5a6-468a-9380-bc500fc80e19 · outbound
This paper cites In Proceeding of the 16th ACM SIGPLAN international conferenc e on Functional Programming, ICFP 2011, Tokyo, Japan, Septembe r 19-21, 2011, Manuel M.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceeding of the 16th ACM SIGPLAN international conferenc e on Functional Programming, ICFP 2011, Tokyo, Japan, Septembe r 19-21, 2011, Manuel M
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.467184Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f3407bd1-e811-40f9-9b17-bdad89bd870f · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 36
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T16:00:05.580568Z
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 f5e2797e-695f-43f6-8af6-a75db65dc2ca · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.480754Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ebd6b7d1-56ac-4e0e-9f6a-329f2834da2b · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.504387Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9455386e-d5a2-4dbf-be4c-453a402b913d · outbound
This paper cites In ACM SIG- PLAN International Conference on Functional Programming, ICFP’13, Boston, MA, USA - September 25 - 27, 2013.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In ACM SIG- PLAN International Conference on Functional Programming, ICFP’13, Boston, MA, USA - September 25 - 27, 2013
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.519655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e3228091-df53-4851-b276-59d5e7481f76 · outbound
This paper cites In Pro- ceedings of the ACM SIGPLAN ’98 Conference on Programming La nguage Design and Implementation (PLDI), Mon- treal, Canada, June 17-19, 1998 , Jack W.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Pro- ceedings of the ACM SIGPLAN ’98 Conference on Programming La nguage Design and Implementation (PLDI), Mon- treal, Canada, June 17-19, 1998 , Jack W
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.539333Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4fee520-0c9b-4447-ad81-ba36f300e1ec · outbound
This paper cites P/r.sc/o.sc/o.sc/f.sc.Straightforward induction on kinding, relying on the decidabil ity of logical entailment.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) P/r.sc/o.sc/o.sc/f.sc.Straightforward induction on kinding, relying on the decidabil ity of logical entailment
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.562086Z
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 0b5a69e1-888c-44d4-b613-8381da660950 · outbound
This paper cites Hall, Kevin Hammond, Simon L.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Hall, Kevin Hammond, Simon L
Reference 192
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.325247Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2574b857-e163-403d-badd-c6fa2ae2b192 · outbound
This paper cites In Proceedings of the ACM Annual Conference - Volume 2 (ACM ’72).
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceedings of the ACM Annual Conference - Volume 2 (ACM ’72)
Reference 1972
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.417753Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 92998485-bdb7-4fff-b258-bdac8c5919d3 · outbound
This paper cites Theoretical Computer Science 45 (1986), 159 –.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Theoretical Computer Science 45 (1986), 159 –
Reference 1986
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.716054Z
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 db80a25b-a4dc-4959-9976-b7e068b8aff3 · outbound
This paper cites In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programmin g Languages, Austin, Texas, USA, January 11-13, 1989.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programmin g Languages, Austin, Texas, USA, January 11-13, 1989
Reference 1989
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.509854Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3518f898-acd5-4047-9be3-b0b42586068c · outbound
This paper cites ACM Trans.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) ACM Trans
Reference 1991
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.115868Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb9891cb-5327-40bf-a02c-6db6a6ec018f · outbound
This paper cites ACM Trans.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) ACM Trans
Reference 1996
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T16:00:05.166191Z
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 d4102496-1e41-4ff1-b603-3d65a4203d6e · outbound
This paper cites In Automata, Languages and Pro- gramming, 25th International Colloquium, ICALP’98, Aalbo rg, Denmark, July 13-17, 1998, Proceedings.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Automata, Languages and Pro- gramming, 25th International Colloquium, ICALP’98, Aalbo rg, Denmark, July 13-17, 1998, Proceedings
Reference 1998
- Resolution
- verified exact
- doi, observed 2026-08-14T16:00:03.752949Z
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 5c49dce8-fe2e-4f12-ada1-afbec7f3bfe7 · outbound
This paper cites https://doi.org/10.1145/331960.331977 J.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) https://doi.org/10.1145/331960.331977 J
Reference 1999
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-14T16:00:04.705688Z
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 b3097ec6-c98b-4ff1-9fe1-d392c2cca064 · outbound
This paper cites In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Pr ogramming Languages, Boston, Massachusetts, USA, January 19-21,.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Pr ogramming Languages, Boston, Massachusetts, USA, January 19-21,
Reference 2000
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.598051Z
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 5c79001c-5a01-4ca3-9a9c-b40e06721153 · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 2002
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T16:00:05.806478Z
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 5738dcd6-c960-4821-8c7f-458bf0dc16cd · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 2003
- Resolution
- verified exact
- doi, observed 2026-08-14T16:00:03.782238Z
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 b2f33360-f477-4e9d-bf71-bc8aad19aefd · outbound
This paper cites In Proceed- ings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Sn owbird, UT, USA, September 22-22, 2004.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceed- ings of the ACM SIGPLAN Workshop on Haskell, Haskell 2004, Sn owbird, UT, USA, September 22-22, 2004
Reference 2004
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.383495Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation be7d9950-1378-4196-bcb3-1eeffafb01da · outbound
This paper cites In Gen- erative Programming and Component Engineering, 5th Intern ational Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings , Stan Jarzabek, Douglas C.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Gen- erative Programming and Component Engineering, 5th Intern ational Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings , Stan Jarzabek, Douglas C
Reference 2006
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.285653Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b9de1e6b-8660-4945-b897-eb7b963433ac · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 2007
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.527067Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3f04fa17-4869-42b6-970a-dc525165c49a · outbound
This paper cites In Tools and Algorithms for the Construction and Analysis of Systems, 14th International C onference, TACAS 2008, (Lecture Notes in Computer Science) , C.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Tools and Algorithms for the Construction and Analysis of Systems, 14th International C onference, TACAS 2008, (Lecture Notes in Computer Science) , C
Reference 2008
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.734750Z
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 9834e104-bbbe-4aa8-85e6-3494dcfdb697 · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 2009
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.362277Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a323569c-c69f-4f37-a186-8d18cf0e0772 · outbound
This paper cites In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and I mplementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, Benjamin G.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and I mplementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, Benjamin G
Reference 2010
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.246214Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a40ba4f9-7dbe-4caa-a258-e0ae76b9e7b7 · outbound
This paper cites In Computer Aided Verification - 23rd International Conference, CA V 2011, Snowbird, UT, USA, July 14-20,.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Computer Aided Verification - 23rd International Conference, CA V 2011, Snowbird, UT, USA, July 14-20,
Reference 2011
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.787673Z
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 a7aa3842-de50-46de-bd7a-4ad05ba59318 · outbound
This paper cites an unresolved cited work.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) Unresolved cited work
Reference 2013
- Resolution
- verified exact
- doi, observed 2026-08-14T16:00:03.695393Z
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 b15c05e9-8063-4f74-89bb-f8e8ddb00ae6 · outbound
This paper cites In Proceedings of the 19th ACM SIGPLAN international conferen ce on Functional programming, Gothenburg, Sweden, September 1-3, 2014 , Johan Jeuring and Manuel M.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceedings of the 19th ACM SIGPLAN international conferen ce on Functional programming, Gothenburg, Sweden, September 1-3, 2014 , Johan Jeuring and Manuel M
Reference 2014
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.496021Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c9c67e1c-020a-4527-bfad-1b8bc53331c5 · outbound
This paper cites In Programming Languages and Systems - 13th Asian Symposium, A PLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Programming Languages and Systems - 13th Asian Symposium, A PLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
Reference 2015
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.618984Z
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 adcdc38b-6fc8-41b3-a468-3839de73fa18 · outbound
This paper cites In Proceedings of the 40th ACM SIGPLAN Conference on Programmi ng Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 20.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) In Proceedings of the 40th ACM SIGPLAN Conference on Programmi ng Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 20
Reference 2019
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T16:00:05.677386Z
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 c8774ec4-a5fb-467d-bbcc-e32de77fda2d · outbound
This paper cites https://doi.org/10.1007/978-3-540-78800-3_24 Manuel Fähndrich, Michael Carbin, and James R.
Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) https://doi.org/10.1007/978-3-540-78800-3_24 Manuel Fähndrich, Michael Carbin, and James R
Reference 4963
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T16:00:03.265691Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.