Safari paper clippings - 2026-05-17

从 Safari 当前打开标签中整理出的明显论文 / 研究资料。先保存 URL 和上下文，后续可以再逐篇做文献笔记或迁移到对应 project/literature 目录。

明显论文 / PDF

1. ScienceDirect article

   • Safari tab: Just a moment…
   • URL: https://www.sciencedirect.com/science/article/pii/S0168007218300277?ref=pdf_download&fr=RR-2&rr=9e9ad1229b2267a6

2. CMU PDF

   • Safari tab: https://www.cs.cmu.edu/~crary/papers/1999/lx/lx.pdf
   • URL: https://www.cs.cmu.edu/~crary/papers/1999/lx/lx.pdf

3. ICFP 2026 HotCRP paper 11 PDF

   • Safari tab: https://icfp26.hotcrp.com/u/0/doc/icfp26-paper11.pdf
   • URL: https://icfp26.hotcrp.com/u/0/doc/icfp26-paper11.pdf
   • Note: private review/submission URL; avoid publishing this note if the link should remain confidential.

4. Bruno Oliveira JFP 2025 PDF

   • Safari tab: https://i.cs.hku.hk/~bruno/papers/jfp25.pdf
   • URL: https://i.cs.hku.hk/~bruno/papers/jfp25.pdf

5. APLAS 2022 recursive paper PDF

   • Safari tab: https://i.cs.hku.hk/~bruno/papers/aplas22recursive.pdf
   • URL: https://i.cs.hku.hk/~bruno/papers/aplas22recursive.pdf

6. TOPLAS 2022 PDF

   • Safari tab: https://i.cs.hku.hk/~bruno/papers/toplas2022.pdf
   • URL: https://i.cs.hku.hk/~bruno/papers/toplas2022.pdf

7. QuickSub POPL 2025 PDF

   • Safari tab: https://i.cs.hku.hk/~bruno/papers/popl25_quicksub.pdf
   • URL: https://i.cs.hku.hk/~bruno/papers/popl25_quicksub.pdf

8. Mutually Iso-recursive Subtyping (Expanded)

   • Safari tab: https://people.mpi-sws.org/~rossberg/papers/Rossberg%20-%20Mutually%20Iso-recursive%20Subtyping%20(Expanded).pdf
   • URL: https://people.mpi-sws.org/~rossberg/papers/Rossberg%20-%20Mutually%20Iso-recursive%20Subtyping%20(Expanded).pdf

9. arXiv PDF

   • Safari tab: https://arxiv.org/pdf/2601.03768
   • URL: https://arxiv.org/pdf/2601.03768

10. Submitted paper by Samuel Klumpers / Utrecht

    • Safari tab: https://webspace.science.uu.nl/~swier004/publications/2026-icfp-submitted.pdf
    • URL: https://webspace.science.uu.nl/~swier004/publications/2026-icfp-submitted.pdf

11. Wouter PDF

    • Safari tab: https://ifipwg21wiki.cs.kuleuven.be/wiki/images/c/c0/84_wouter.pdf
    • URL: https://ifipwg21wiki.cs.kuleuven.be/wiki/images/c/c0/84_wouter.pdf

12. Applications of homotopy theory to topological solitons

    • Safari tab: Applications of homotopy theory to topologicalsolitons
    • URL: https://studenttheses.uu.nl/handle/20.500.12932/40034
    • Note: thesis/repository page rather than direct PDF, but academic/research material.

相关研究资料，不一定算论文

• QuickSub paper source

  • URL: https://github.com/HaleOIC/Quicksub/blob/main/paper/paper.lhs.tex

• Lecture 1: Well-Scoped De Bruijn Representations — Implement your POPL paper

  • URL: https://sweirich.github.io/rebound/lecture1.html

• A Path Not Taken for OxCaml

  • URL: https://joel.place/blog/path-not-taken/

• An Introduction to Agentic Proving

  • URL: https://hkuplg.github.io/2026/04/22/agentic/

未自动保存为论文 clipping 的不确定 PDF

这些看起来可能是文档/PDF，但标题或来源不够明确，我没有把它们放进“明显论文”列表：

• Anthropic guide PDF: https://resources.anthropic.com/hubfs/The-Complete-Guide-to-Building-Skill-for-Claude.pdf
• Claude private document PDF 1: https://claude.ai/api/84abd4c5-fee4-45cb-b770-724c2d6ee0d6/files/f23ce248-76aa-4948-b8a3-b81461122cd9/document_pdf
• Claude private document PDF 2: https://claude.ai/api/84abd4c5-fee4-45cb-b770-724c2d6ee0d6/files/fe184503-5efb-4fe4-b54e-bc8cbf47e7f0/document_pdf