git @ Cat's Eye Technologies The-Glosscubator / 5cb7100
Add a book about Pascal and split off some papers from webpages. Chris Pressey 1 year, 1 month ago
8 changed file(s) with 56 addition(s) and 24 deletion(s). Raw diff Collapse all Expand all
+2
-0
Modal Logic/README.md less more
1212
1313 [Modal Logic (Stanford Encyclopedia of Philosophy)](https://plato.stanford.edu/entries/logic-modal/)
1414
15 ### Papers
16
1517 [Mathematical Modal Logic: A View of its Evolution (Robert Goldblatt) (pdf)](https://homepages.ecs.vuw.ac.nz/~rob/papers/modalhist.pdf)
1618
1719 ### Books
+14
-0
Modal Logic/src/Papers.md less more
0 Modal Logic Papers
1 ==================
2
3 <!--
4 SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
5
6 SPDX-License-Identifier: CC0-1.0
7 -->
8
9 ### Mathematical Modal Logic: A View of its Evolution (Robert Goldblatt) (pdf)
10
11 * url: https://homepages.ecs.vuw.ac.nz/~rob/papers/modalhist.pdf
12
13 .
+0
-6
Modal Logic/src/Webpages.md less more
1111 * url: https://plato.stanford.edu/entries/logic-modal/
1212
1313 .
14
15 ### Mathematical Modal Logic: A View of its Evolution (Robert Goldblatt) (pdf)
16
17 * url: https://homepages.ecs.vuw.ac.nz/~rob/papers/modalhist.pdf
18
19 .
+2
-0
Partial Evaluation/README.md less more
1616
1717 [Compile-time calculation - Rosetta Code](https://rosettacode.org/wiki/Compile-time_calculation#Ursala)
1818
19 ### Papers
20
1921 [Tutorial notes on partial evaluation \| Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages](https://dl.acm.org/doi/abs/10.1145/158511.158707)
2022
2123 [Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler (pdf)](https://static.aminer.org/pdf/PDF/001/006/665/partial_evaluation_of_computation_process_an_approach_to_a_compiler.pdf)
+26
-0
Partial Evaluation/src/Papers.md less more
0 Partial Evaluation Papers
1 =========================
2
3 <!--
4 SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.
5
6 SPDX-License-Identifier: CC0-1.0
7 -->
8
9 ### Tutorial notes on partial evaluation \| Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
10
11 * url: https://dl.acm.org/doi/abs/10.1145/158511.158707
12
13 .
14
15 ### Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler (pdf)
16
17 * url: https://static.aminer.org/pdf/PDF/001/006/665/partial_evaluation_of_computation_process_an_approach_to_a_compiler.pdf
18
19 .
20
21 ### A partial evaluator for the untyped lambda-calculus \| Journal of Functional Programming \| Cambridge Core
22
23 * url: https://www.cambridge.org/core/journals/journal-of-functional-programming/article/partial-evaluator-for-the-untyped-lambdacalculus/EE324F936F0A009B6766B13FF6755DFC
24
25 .
+0
-18
Partial Evaluation/src/Webpages.md less more
2323 * url: https://rosettacode.org/wiki/Compile-time_calculation#Ursala
2424
2525 .
26
27 ### Tutorial notes on partial evaluation \| Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
28
29 * url: https://dl.acm.org/doi/abs/10.1145/158511.158707
30
31 .
32
33 ### Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler (pdf)
34
35 * url: https://static.aminer.org/pdf/PDF/001/006/665/partial_evaluation_of_computation_process_an_approach_to_a_compiler.pdf
36
37 .
38
39 ### A partial evaluator for the untyped lambda-calculus \| Journal of Functional Programming \| Cambridge Core
40
41 * url: https://www.cambridge.org/core/journals/journal-of-functional-programming/article/partial-evaluator-for-the-untyped-lambdacalculus/EE324F936F0A009B6766B13FF6755DFC
42
43 .
+2
-0
Pascal/README.md less more
1818 Pascal User Manual and Report, 3rd ed. (borrow @ [archive.org](https://archive.org/details/pascalusermanual0000jens))
1919
2020 Pascal, an Interactive Text (borrow @ [archive.org](https://archive.org/details/pascalinteractiv0000abas))
21
22 Programming Your Own Adventure Games in Pascal (online @ [archive.org](https://archive.org/details/programming-your-own-adventure-games-in-pascal))
+10
-0
Pascal/src/Books.md less more
3131
3232 As a text on Pascal, I thought it was a bit "meh". But it does contain several
3333 nice examples like Mandelbrot, magic squares, fractals, Pascal's triangle.
34
35 ### Programming Your Own Adventure Games in Pascal
36
37 * author: Richard C. Vile, Jr.
38 * date: 1984
39 * publisher: TAB Books Inc.
40 * online @ [archive.org](https://archive.org/details/programming-your-own-adventure-games-in-pascal)
41 * topics: Pascal, Interactive Fiction
42
43 I cannot say I have more than skimmed the contents but, wow. That cover. Wow.