@article{DBLP:journals/pacmpl/XueO24,
  author       = {Xu Xue and
                  Bruno C. d. S. Oliveira},
  title        = {Contextual Typing},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {8},
  number       = {{ICFP}},
  pages        = {880--908},
  year         = {2024},
  doi          = {10.1145/3674655},
  timestamp    = {Tue, 24 Dec 2024 22:38:35 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/XueO24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/vlc/GreenP96,
  author       = {Thomas R. G. Green and
                  Marian Petre},
  title        = {Usability Analysis of Visual Programming Environments: {A} 'Cognitive
                  Dimensions' Framework},
  journal      = {J. Vis. Lang. Comput.},
  volume       = {7},
  number       = {2},
  pages        = {131--174},
  year         = {1996},
  doi          = {10.1006/JVLC.1996.0009},
  timestamp    = {Mon, 29 Jul 2019 16:00:07 +0200},
  biburl       = {https://dblp.org/rec/journals/vlc/GreenP96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/LongleyN15,
  author       = {John Longley and
                  Dag Normann},
  title        = {Higher-Order Computability},
  series       = {Theory and Applications of Computability},
  publisher    = {Springer},
  year         = {2015},
  doi          = {10.1007/978-3-662-47992-6},
  isbn         = {978-3-662-47991-9},
  timestamp    = {Tue, 16 May 2017 14:01:44 +0200},
  biburl       = {https://dblp.org/rec/books/sp/LongleyN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@unpublished{Squid:unpublished/McBride01,
  author  = {Conor McBride},
  title   = {The Derivative of a Regular Type is its Type of One-Hole Contexts},
  year    = {2001},
  url     = {http://strictlypositive.org/diff.pdf},
  urldate = {2025-02-07}
}

@online{Squid:online/Kiselyov22,
  author  = {Oleg Kiselyov},
  title   = {Simply-typed encodings: {PCF} considered as unexpectedly expressive programming language},
  year    = {2022},
  url     = {https://www.okmij.org/ftp/Computation/simple-encodings.html},
  urldate = {2024-09-16}
}

@unpublished{Squid:unpublished/Bauer17,
  author  = {Andrej Bauer},
  title   = {On Self-Interpreters for {System~T} and Other Typed \(\lambda\)-Calculi},
  year    = {2016},
  url     = {http://math.andrej.com/wp-content/uploads/2016/01/self-interpreter-for-T.pdf},
  urldate = {2025-04-02}
}

@book{DiscoverEd:book/oc/Cantor52,
  author    = {Cantor, Georg},
  title     = {Contributions to the Founding of the Theory of Transfinite Numbers},
  series    = {The Open Court Series of Classics of Science and Philosophy},
  publisher = {Open Court},
  year      = {1952},
  booktitle = {Contributions to the Founding of the Theory of Transfinite Numbers},
  timestamp = {Thu, 20 Feb 2025 15:02:44 +0000}
}