Index of /~cs331/notes/ [https://www.cs.uaf.edu/~cs331/notes/] - 2024-02-23 09:28:59 - public:stevetao Compiler, Course, Programming-Languages - 3 | id:1489620 -
CS 331 Programming Languages [https://www.cs.uaf.edu/~cs331/] - 2024-02-23 09:28:37 - public:stevetao Compiler, Course, Programming-Languages - 3 | id:1489619 -
COMS W4995-02 Languages for Embedded System Design [http://www1.cs.columbia.edu/~sedwards/classes/2002/w4995-02/] - 2023-03-04 13:02:49 - public:stevetao Course, Embedded, Programming-Languages - 3 | id:1371030 -
COMP 524 -- Spring 2009 [http://www.cs.unc.edu/~olivier/comp524/] - 2023-03-04 12:05:27 - public:stevetao Course, Programming-Languages - 2 | id:1371027 -
Williams College CS334 - Programming Languages - Lecture 6 [https://cs.pomona.edu/~kim/cs334/s02/Lectures/Lec6/Lec6.html] - 2023-03-04 11:51:46 - public:stevetao Compiler, Course, Programming-Languages - 3 | id:1371023 -
Programming Languages Home Page [https://www.cs.rochester.edu/courses/254/fall2022/] - 2023-02-22 17:35:04 - public:stevetao Compiler, Course, Programming-Languages - 3 | id:1315485 -
UMBC CMSC 331 Fall 2012 Principles of Programming Languages [https://redirect.cs.umbc.edu/courses/331/fall12/] - 2023-01-11 11:46:33 - public:stevetao Course, Programming-Languages - 2 | id:1294816 -
The XPL Programming Language [https://www.cs.toronto.edu/XPL/] - 2022-11-30 08:13:45 - public:stevetao Compiler, Programming-Languages - 2 | id:1294518 -
XPL0 - Wikipedia [https://en.wikipedia.org/wiki/XPL0] - 2022-11-30 02:51:09 - public:stevetao Compiler, Programming, Programming-Languages - 3 | id:1294516 -
Mini-languages: A Way to Learn Programming Principles [http://www.contrib.andrew.cmu.edu/~plb/papers/minilang.html] - 2022-11-12 00:18:45 - public:stevetao Compiler, Programming-Languages - 2 | id:1294269 -
Mini-Java Compiler [https://pld.cs.luc.edu/courses/271/fall18/mnotes/compiler.html] - 2022-11-12 00:03:49 - public:stevetao Compiler, Java, Programming-Languages - 3 | id:1294267 -
15-812: Programming Language Semantics - Projects [https://www.cs.cmu.edu/~aplatzer/course/pls15-projects.html] - 2022-09-17 14: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 12: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 12:33:29 - public:stevetao Book, Free, Programming-Languages - 3 | id:980475 -
Thomas H. Moog - Polhode Inc [http://www.polhode.com/] - 2022-01-05 12: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 11:58:06 - public:stevetao Book, Free, Programming-Languages - 3 | id:980472 -
Certified Programming with Dependent Types [http://adam.chlipala.net/cpdt/] - 2022-01-05 11: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 11: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 11:51:58 - public:stevetao Book, Programming-Languages - 2 | id:980469 -
Exploring Programming Language Architecture in Perl [http://billhails.net/Book/] - 2022-01-05 11: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 11: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 11:43:08 - public:stevetao Book, Free, Programming-Languages - 3 | id:980465 -
Programming and Programming Languages [https://papl.cs.brown.edu/2017/] - 2022-01-05 11:41:20 - public:stevetao Book, Programming-Languages - 2 | id:980464 -
Anatomy of Programming Languages [https://www.cs.utexas.edu/~wcook/anatomy/] - 2022-01-05 11: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 11:36:39 - public:stevetao Book, Programming-Languages - 2 | id:980462 -
Shriram Krishnamurthi [https://cs.brown.edu/~sk/] - 2022-01-05 11: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 11: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 16:07:18 - public:stevetao Programming-Languages - 1 | id:683500 -
CS 340: Home page [https://ycpcs.github.io/cs340-fall2016/] - 2020-06-11 12: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 17: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 17: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 17: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 07: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 07:11:29 - public:stevetao Course, Online, Programming-Languages - 3 | id:321636 -
Programming and Programming Languages [https://papl.cs.brown.edu/2019/] - 2020-05-30 07: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-29 03: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-29 03: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-29 02: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-29 02:53:58 - public:stevetao Course, Programming-Languages - 2 | id:321612 -
Dictionary of Programming Languages [http://cgibin.erols.com/ziring/dopl.html] - 2020-05-29 02: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-29 02: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-29 02: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-29 02: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-29 00: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 15: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 14: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-28 03:22:56 - public:stevetao Book, Programming-Languages - 2 | id:321587 -
Implementing Programming Languages [http://www.grammaticalframework.org/ipl-book/] - 2020-03-26 16:05:18 - public:stevetao Book, Compiler, Programming-Languages - 3 | id:290921 -
