Before the big rewrite

1 files changed, 70 insertions, 0 deletions

diff --git a/main.bib b/main.bib
new file mode 100644
index 0000000..ee30bc1
--- /dev/null
+++ b/main.bib
@@ -0,0 +1,70 @@
+@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}
+}
+
+@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}
+}