commit 261f6d49383aa9a42c29d34546845f54fda9a9d3 Author: Nixon Enraght-Moony Date: Sun Jan 2 23:37:49 2022 +0000 Lambda papers diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..b634d85 --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +*.pdf filter=lfs diff=lfs merge=lfs -text diff --git a/lambda/1-scheme.pdf b/lambda/1-scheme.pdf new file mode 100644 index 0000000..f3f6dc0 --- /dev/null +++ b/lambda/1-scheme.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:2dbac54a54386e6a12639c8ed2b42764d0292e2670236fbf40b0f665d8bcc18b +size 2515040 diff --git a/lambda/2-imperitive.pdf b/lambda/2-imperitive.pdf new file mode 100644 index 0000000..6ce7834 --- /dev/null +++ b/lambda/2-imperitive.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:18f80ca6f1b89ca8784312d5b950c09151d10b324e99adc48f6e85bbafd61345 +size 2420158 diff --git a/lambda/3-declarative.pdf b/lambda/3-declarative.pdf new file mode 100644 index 0000000..a78bf0c --- /dev/null +++ b/lambda/3-declarative.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:ca1cfb7b76fd50bdc125708d34589807079cefff09c059c97216f171253f9247 +size 3435375 diff --git a/lambda/4-goto.pdf b/lambda/4-goto.pdf new file mode 100644 index 0000000..1d79d2f --- /dev/null +++ b/lambda/4-goto.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:356353d66c1ce5c41b12aa06674b7222bdcc5b59ff719033616ae72dc6ffc93a +size 2159885 diff --git a/lambda/5-interpreter.pdf b/lambda/5-interpreter.pdf new file mode 100644 index 0000000..6c14e19 --- /dev/null +++ b/lambda/5-interpreter.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:cb19a1259ae2e10023fc95977726b54eac2faeec9d39e67875936e7d06e4d14f +size 4390491 diff --git a/lambda/6-rabbit.pdf b/lambda/6-rabbit.pdf new file mode 100644 index 0000000..1614b38 --- /dev/null +++ b/lambda/6-rabbit.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:20de580c0553cbf91fbe5bae995686cbbdb5cd70901f6562e08381d1b792caa5 +size 12795556 diff --git a/lambda/7-opcode.pdf b/lambda/7-opcode.pdf new file mode 100644 index 0000000..615c0fe --- /dev/null +++ b/lambda/7-opcode.pdf @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:0be9c53e18859beedb8ce3cb19ba22cd874ea4fc3e1c265ae73a1bc6d6d5ebbd +size 5079308 diff --git a/lambda/README.md b/lambda/README.md new file mode 100644 index 0000000..92c352c --- /dev/null +++ b/lambda/README.md @@ -0,0 +1,45 @@ +## Lambda Papers + +### SCHEME: An Interpreter for Extended Lambda Calculus + +[DSpace](https://dspace.mit.edu/handle/1721.1/5794) +[Wikitext](https://en.wikisource.org/wiki/Scheme:_An_Interpreter_for_Extended_Lambda_Calculus/Whole_text) + +### Lambda: The Ultimate Imperative + +[DSpace](https://dspace.mit.edu/handle/1721.1/5790) +[Wikisource](https://en.wikisource.org/wiki/Lambda:_The_Ultimate_Imperative) + +### Lambda: The Ultimate Declarative + +[DSpace](https://dspace.mit.edu/handle/1721.1/6091) +[Wikisource](https://en.wikisource.org/wiki/Lambda:_The_Ultimate_Declarative) + +### Lambda: The Ultimate GOTO + +[DSpace](https://dspace.mit.edu/handle/1721.1/5753) + +### The Art of the Interpreter + +[DSpace](https://dspace.mit.edu/handle/1721.1/6094) + +https://en.wikisource.org/wiki/Lambda_Papers + +### Rabbit: A Compiler for Scheme + +[DSpace](https://dspace.mit.edu/handle/1721.1/6913) +[Wikisource](https://en.wikisource.org/wiki/Rabbit:_A_Compiler_for_Scheme) + +### Lambda: The Ultimate Opcode + +[dSpace](https://dspace.mit.edu/handle/1721.1/5731) + + +## Other things + +- [SICP](https://sarabander.github.io/sicp/) +- [Daniel P. Friedman](https://library-search.imperial.ac.uk/discovery/search?query=creator,exact,Friedman,%20Daniel%20P.&tab=Everything&search_scope=MyInst_and_CI&vid=44IMP_INST:ICL_VU1&facet=creator,exact,Friedman,%20Daniel%20P.&offset=0) +- [HTDP](https://htdp.org/2021-11-15/Book/index.html) +- [PLAI](https://cs.brown.edu/courses/cs173/2012/book/) +- [EOPL](https://library-search.imperial.ac.uk/discovery/fulldisplay?docid=cdi_crossref_primary_10_1017_S0956796809007357&context=PC&vid=44IMP_INST:ICL_VU1&lang=en&search_scope=MyInst_and_CI&adaptor=Primo%20Central&tab=Everything&query=any,contains,Essentials%20of%20Programming%20Languages&offset=0) +- [Lisp in small pieces](https://library-search.imperial.ac.uk/discovery/fulldisplay?docid=alma995336584401591&context=L&vid=44IMP_INST:ICL_VU1&lang=en&search_scope=MyInst_and_CI&adaptor=Local%20Search%20Engine&tab=Everything&query=any,contains,lisp%20in%20small%20pieces&offset=0) \ No newline at end of file