Warren's Abstract Machine: A Tutorial Reconstruction

[http://wambook.sourceforge.net/] - 2022-01-05 04:55:50 - public:stevetao

Abstract, Machine - 2 | id:980477 -

Semantics in Action - Applications and Scenarios | IntechOpen

[https://www.intechopen.com/books/2966] - 2022-01-05 04:34:50 - public:stevetao

Book, Free, Programming-Languages, Semantics - 4 | id:980476 -

Semantics - Advances in Theories and Mathematical Models | IntechOpen

[https://www.intechopen.com/books/1960] - 2022-01-05 04:33:29 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980475 -

Thomas H. Moog - Polhode Inc

[http://www.polhode.com/] - 2022-01-05 04:32:49 - public:stevetao

Compiler, Programming-Languages - 2 | id:980474 -

Introduction to Computing: Explorations in Language, Logic, and Machines

[https://computingbook.org/] - 2022-01-05 04:00:21 - public:stevetao

Book, Computer-Science, Free - 3 | id:980473 -

CiteSeerX — Lectures on the Curry-Howard Isomorphism

[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.7385] - 2022-01-05 03:58:06 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980472 -

Certified Programming with Dependent Types

[http://adam.chlipala.net/cpdt/] - 2022-01-05 03:57:38 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980471 -

Understanding Programming Languages | Prof. Mordechai (Moti) Ben-Ari

[http://www.weizmann.ac.il/sci-tea/benari/research-activities/understanding-programming-languages] - 2022-01-05 03:53:32 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980470 -

Data, Syntax and Semantics

[http://www-compsci.swan.ac.uk/~csjvt/JVTTeaching/DataSyntaxandSemantics.html] - 2022-01-05 03:51:58 - public:stevetao

Book, Programming-Languages - 2 | id:980469 -

The Lack Thereof: Docs

[https://thelackthereof.org/Docs] - 2022-01-05 03:46:04 - public:stevetao

Computer-Science - 1 | id:980468 -

Exploring Programming Language Architecture in Perl

[http://billhails.net/Book/] - 2022-01-05 03:44:43 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980467 -

GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

[https://github.com/hmemcpy/milewski-ctfp-pdf/] - 2022-01-05 03:43:21 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980466 -

Category Theory for Programmers: The Preface | Bartosz Milewski's Programming Cafe

[https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/] - 2022-01-05 03:43:08 - public:stevetao

Book, Free, Programming-Languages - 3 | id:980465 -

Programming and Programming Languages

[https://papl.cs.brown.edu/2017/] - 2022-01-05 03:41:20 - public:stevetao

Book, Programming-Languages - 2 | id:980464 -

Anatomy of Programming Languages

[https://www.cs.utexas.edu/~wcook/anatomy/] - 2022-01-05 03:37:45 - public:stevetao

Book, Free, Haskell, Programming-Languages - 4 | id:980463 -

Minimal Programming: Programming Language Book

[http://www.minimalprogramming.org/plbook.html] - 2022-01-05 03:36:39 - public:stevetao

Book, Programming-Languages - 2 | id:980462 -

Shriram Krishnamurthi

[https://cs.brown.edu/~sk/] - 2022-01-05 03:34:37 - public:stevetao

Programming-Languages - 1 | id:980461 -

Practical Foundations for Programming Languages

[https://www.cs.cmu.edu/~rwh/pfpl.html] - 2022-01-05 03:29:46 - public:stevetao

Book, Programming-Languages - 2 | id:980460 -

Scheme 9 from Empty Space - T3X.ORG

[http://t3x.org/s9book/] - 2022-01-05 03:14:30 - public:stevetao

Book, Compiler - 2 | id:980459 -

Index of /kompilatory/docs

[http://foja.dcs.fmph.uniba.sk/kompilatory/docs/] - 2022-01-05 03:02:19 - public:stevetao

Book, Compiler, Flex, Free - 4 | id:980458 -

Assemblers And Loaders.

[https://www.davidsalomon.name/assem.advertis/AssemAd.html] - 2022-01-05 02:55:24 - public:stevetao

Assembler, Book, Compiler, Free, Loader - 5 | id:980457 -

OpenLibra | Search Result: compiler

[https://openlibra.com/en/collection/search/term/compiler/] - 2022-01-05 02:30:30 - public:stevetao

Book, Compiler, Free - 3 | id:980456 -

Basics of Compiler Design

[http://hjemmesider.diku.dk/~torbenm/Basics/] - 2022-01-05 02:22:44 - public:stevetao

Book, Compiler, Free - 3 | id:980455 -

Textbooks Authored

[http://elvis.rowan.edu/~bergmann/books/Compiler_Design/books.html] - 2022-01-05 02:19:09 - public:stevetao

Book, Compiler, Free - 3 | id:980454 -

WFF 'N PROOF - Wikipedia

[https://en.wikipedia.org/wiki/WFF_%27N_PROOF] - 2022-01-03 02:16:53 - public:stevetao

Game, Logic, Math, Math-Logic - 4 | id:980420 -

Fitch notation - Wikipedia

[https://en.wikipedia.org/wiki/Fitch_notation] - 2022-01-03 02:12:54 - public:stevetao

Logic, Math, Math-Logic - 3 | id:980419 -

Well-formed formula

[https://en-academic.com/dic.nsf/enwiki/229538] - 2022-01-03 02:12:42 - public:stevetao

Logic, Math, Math-Logic - 3 | id:980418 -

Lexical Analysis (Analyzer) in Compiler Design with Example

[https://www.guru99.com/compiler-design-lexical-analysis.html] - 2022-01-02 09:04:47 - public:stevetao

Compiler, Lexical-Analyzer, Translator - 3 | id:980417 -

Converting iTerm2 colours to Windows Terminal colors – rakhesh.com

[https://rakhesh.com/powershell/converting-iterm2-colours-to-windows-terminal-colors/] - 2022-01-01 22:48:27 - public:stevetao

Terminal, Theme, WindowsTerminal - 3 | id:980414 -

Digital Electronics Laboratory

[https://www.iitg.ac.in/cseweb/vlab/Digital-System-Lab/fa_lg.php?id=9] - 2022-01-01 22:43:05 - public:stevetao

Digital, Logic-Gate - 2 | id:980413 -

CSC402/CSC502 Homepage

[https://homepage.cs.uri.edu/faculty/hamel/courses/2017/fall2017/csc402/] - 2022-01-01 17:40:16 - public:stevetao

Compiler, Course - 2 | id:980412 -

50+ Windows Terminal Themes: Light, Dark, and Colorful - All Things How

[https://allthings.how/windows-terminal-themes-light-dark-colorful/] - 2021-12-31 14:41:50 - public:stevetao

Theme, WindowsTerminal - 2 | id:980396 -

How to make the Ubuntu terminal more like the Mac OS X terminal | mattgadient.com

[https://mattgadient.com/how-to-make-the-ubuntu-terminal-more-like-the-mac-os-x-terminal/] - 2021-12-31 14:33:13 - public:stevetao

GNOME, Mac, Theme - 3 | id:980392 -

Unicode characters for engineers in Python - Python for Undergraduate Engineers

[https://pythonforundergradengineers.com/unicode-characters-in-python.html] - 2021-12-28 22:50:01 - public:stevetao

Greek - 1 | id:975098 -

Compilers: Principles, Techniques, and Tools (Dragon Book)

[https://suif.stanford.edu/dragonbook/] - 2021-12-28 04:57:25 - public:stevetao

Compiler, Course - 2 | id:975091 -

Linear format equations using UnicodeMath and LaTeX in Word

[https://support.microsoft.com/en-us/office/linear-format-equations-using-unicodemath-and-latex-in-word-2e00618d-b1fd-49d8-8cb4-8d17f25754f8] - 2021-12-27 23:04:52 - public:stevetao

Equation, Math, Tip, Word - 4 | id:975088 -

Insertion of Single Symbols

[http://www2.latech.edu/~sajones/REU/Learning%20Exercises/Equation%20Editor%20Shortcut%20Commands.htm] - 2021-12-27 22:55:37 - public:stevetao

Equation, Tip, Word - 3 | id:975087 -

Source Academy

[https://sourceacademy.org/sicpjs/index] - 2021-12-27 15:05:34 - public:stevetao

Book, Free, JavaScript, Scheme - 4 | id:975083 -

Left Recursion | Left Recursion Elimination | Gate Vidyalay

[https://www.gatevidyalay.com/left-recursion-left-recursion-elimination/] - 2021-12-25 16:12:21 - public:stevetao

Associativity, Grammar, Recursion - 3 | id:969820 -

grammar - Operator Associativity - Stack Overflow

[https://stackoverflow.com/questions/39500543/operator-associativity/39501548#39501548] - 2021-12-25 15:14:56 - public:stevetao

Associativity, Grammar - 2 | id:969819 -

Evaluating Expressions Based On Given Grammar | Gate Vidyalay

[https://www.gatevidyalay.com/solving-expressions-based-on-given-grammar/] - 2021-12-25 15:14:29 - public:stevetao

Associativity, Grammar - 2 | id:969818 -

1.3. Grammars - Part 3 - Establishing Order of Operations — Programming Languages

[https://opendsa-server.cs.vt.edu/OpenDSA/Books/PL/html/Grammars3.html] - 2021-12-25 14:56:16 - public:stevetao

Associativity, Grammar - 2 | id:969817 -

Complete Reference on Ms Word Equation Editor Shortcut - PickupBrain

[https://www.pickupbrain.com/ms-word/equation-editor-shortcut-word/] - 2021-12-24 17:27:04 - public:stevetao

Equation, Math, Tip, Word - 4 | id:969812 -

Mocks Aren't Stubs

[https://martinfowler.com/articles/mocksArentStubs.html] - 2021-12-23 15:34:53 - public:stevetao

BDD, Double, Dummy, Fake, Mock, Software-Testing, Spy, Stub, TDD, Test-Double, Test-Driven-Development, Testing - 12 | id:964574 -

TestDouble

[https://martinfowler.com/bliki/TestDouble.html] - 2021-12-23 15:31:58 - public:stevetao

Double, Dummy, Fake, Mock, Software-Testing, Spy, Stub, Test-Double, Testing - 9 | id:964573 -

Extending the TDD cycle. Everyone who’s heard about Test Driven… | by Michal Lipski | Pragmatists

[https://blog.pragmatists.com/extending-the-tdd-cycle-53ea8e10e46f] - 2021-12-23 15:29:38 - public:stevetao

TDD, Test-Driven-Development - 2 | id:964572 -

Test Double at XUnitPatterns.com

[http://xunitpatterns.com/Test%20Double.html] - 2021-12-23 15:28:17 - public:stevetao

Double, Dummy, Fake, Mock, Software-Testing, Spy, Stub, Test-Double, Testing - 9 | id:964571 -

Test Doubles — Fakes, Mocks and Stubs. | by Michal Lipski | Pragmatists

[https://blog.pragmatists.com/test-doubles-fakes-mocks-and-stubs-1a7491dfa3da] - 2021-12-23 15:27:25 - public:stevetao

Fake, Mock, Software-Testing, Stub, Test-Double, Testing - 6 | id:964570 -

Test Doubles: Dummy, Stub, Spy, Mock & Fake | Medium

[https://jesusvalerareales.medium.com/testing-with-test-doubles-7c3abb9eb3f2] - 2021-12-23 15:26:34 - public:stevetao

Double, Dummy, Fake, Mock, Software-Testing, Spy, Stand-in, Stub, Test-Double, Testing - 10 | id:964569 -

python - What is “where“ argument for in setuptools.find_packages? - Stack Overflow

[https://stackoverflow.com/questions/51286928/what-is-where-argument-for-in-setuptools-find-packages] - 2021-12-22 14:20:51 - public:stevetao

Packaging, Python, Tip - 3 | id:964562 -

Viewing stevetao's Bookmarks