15-812: Programming Language Semantics - Projects [https://www.cs.cmu.edu/~aplatzer/course/pls15-projects.html] - 2022-09-17 07:47:02 - public:stevetao Chess, PGN, Programming-Languages - 3 | id:1276633 -
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 -
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 -
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 -
ITEC 380 - Organization of Programming Languages [https://www.radford.edu/~nokie/classes/380/] - 2021-04-23 09:07:18 - public:stevetao Programming-Languages - 1 | id:683500 -
CS 340: Home page [https://ycpcs.github.io/cs340-fall2016/] - 2020-06-11 05:26:43 - public:stevetao Compiler, Course, Programming-Languages - 3 | id:350205 -
In layman's terms, what are the major programming languages, and what are they used for? - Quora [https://www.quora.com/Programming-Languages/In-laymans-terms-what-are-the-major-programming-languages-and-what-are-they-used-for] - 2020-05-30 10:28:58 - public:stevetao Programming-Languages - 1 | id:321644 -
ML Dialects and Haskell: SML, OCaml, F#, Haskell - Hyperpolyglot [https://hyperpolyglot.org/ml] - 2020-05-30 10:27:00 - public:stevetao F#, Haskell, ML, OCaml, Programming, Programming-Languages, SML, Tip - 8 | id:321643 -
Programming Languages & Tools - Free Books at EBD [https://www.e-booksdirectory.com/listing.php?category=11] - 2020-05-30 10:16:23 - public:stevetao Book, Free, Programming-Languages - 3 | id:321642 -
Department of Computer Science & Technology - Andrew Pitts [https://www.cl.cam.ac.uk/~amp12/] - 2020-05-30 00:18:19 - public:stevetao People, Programming-Languages - 2 | id:321637 -
OPLSS 2020 | University of Oregon [http://www.cs.uoregon.edu/research/summerschool/summer20/] - 2020-05-30 00:11:29 - public:stevetao Course, Online, Programming-Languages - 3 | id:321636 -
Programming and Programming Languages [https://papl.cs.brown.edu/2019/] - 2020-05-30 00:08:03 - public:stevetao Book, Free, Programming-Languages - 3 | id:321635 -
Simon Peyton Jones at Microsoft Research [https://www.microsoft.com/en-us/research/people/simonpj/publications/] - 2020-05-28 20:25:28 - public:stevetao Functional, Haskell, Programming-Languages - 3 | id:321616 -
Denotational Semantics: A Methodology for Language Development [http://people.cs.ksu.edu/~schmidt/text/densem.html] - 2020-05-28 20:03:05 - public:stevetao Book, Programming-Languages, Semantics - 3 | id:321614 -
Data, Syntax and Semantics [http://www.cs.swan.ac.uk/~csjvt/JVTTeaching/DataSyntaxandSemantics.html#about%20the%20book] - 2020-05-28 19:56:53 - public:stevetao Book, Programming-Languages - 2 | id:321613 -
Online CS Modules: Programming Languages [http://courses.cs.vt.edu/csonline/ProgrammingLanguages/Lessons/index.html] - 2020-05-28 19:53:58 - public:stevetao Course, Programming-Languages - 2 | id:321612 -
Dictionary of Programming Languages [http://cgibin.erols.com/ziring/dopl.html] - 2020-05-28 19:43:45 - public:stevetao Programming-Languages - 1 | id:321611 -
Semantics in Action - Applications and Scenarios | IntechOpen [https://www.intechopen.com/books/semantics-in-action-applications-and-scenarios] - 2020-05-28 19:41:30 - public:stevetao Book, Free, Programming-Languages, Semantics - 4 | id:321609 -
Semantics - Advances in Theories and Mathematical Models | IntechOpen [https://www.intechopen.com/books/semantics-advances-in-theories-and-mathematical-models] - 2020-05-28 19:40:46 - public:stevetao Book, Programming-Languages, Semantics - 3 | id:321608 -
Introduction to Computing: Explorations in Language, Logic, and Machines [http://computingbook.org/] - 2020-05-28 19:39:13 - public:stevetao Book, Free, Logic, Programming-Languages - 4 | id:321607 -
Implementing functional languages: a tutorial - Microsoft Research [https://www.microsoft.com/en-us/research/publication/implementing-functional-languages-a-tutorial/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fpj-lester-book%2F] - 2020-05-28 17:14:23 - public:stevetao Book, Free, Functional, Programming-Languages - 4 | id:321606 -
Anatomy of Programming Languages [http://www.cs.utexas.edu/~wcook/anatomy/] - 2020-05-28 08:01:31 - public:stevetao Book, Free, Programming-Languages - 3 | id:321594 -
Robert Harper's Home Page [http://www.cs.cmu.edu/~rwh/] - 2020-05-28 07:58:54 - public:stevetao Book, Free, Programming-Languages - 3 | id:321593 -
Chapter 0 Preface — Programming Languages [https://opendsa-server.cs.vt.edu/ODSA/Books/PL/html/index.html#] - 2020-05-27 20:22:56 - public:stevetao Book, Programming-Languages - 2 | id:321587 -
