stevetao bookmarks: Programming-Languages - page: 1urn:uuid:{3E9042FD-6E4F-346D-7CB6-1296D4F340C9}2024-03-28T01:40:24ZIndex of /~cs331/notes/14896202024-02-23T09:28:59ZZ236stevetaoCS 331 Programming Languages14896192024-02-23T09:28:37ZZ236stevetaoCOMS W4995-02 Languages for Embedded System Design13710302023-03-04T13:02:49ZZ236stevetaoCOMP 524 -- Spring 200913710272023-03-04T12:05:27ZZ236stevetaoWilliams College CS334 - Programming Languages - Lecture 613710232023-03-04T11:51:46ZZ236stevetaoProgramming Languages Home Page13154852023-02-22T17:35:04ZZ236stevetaoUMBC CMSC 331 Fall 2012 Principles of Programming Languages12948162023-01-11T11:46:33ZZ236stevetaoThe XPL Programming Language12945182022-11-30T08:13:45ZZ236stevetaoXPL0 - Wikipedia12945162022-11-30T02:51:09ZZ236stevetaoMini-languages: A Way to Learn Programming Principles12942692022-11-12T00:18:45ZZ236stevetaoMini-Java Compiler12942672022-11-12T00:03:49ZZ236stevetao15-812: Programming Language Semantics - Projects12766332022-09-17T14:47:02ZZ236stevetaoSemantics in Action - Applications and Scenarios | IntechOpen9804762022-01-05T12:34:50ZZ236stevetaoSemantics - Advances in Theories and Mathematical Models | IntechOpen9804752022-01-05T12:33:29ZZ236stevetaoThomas H. Moog - Polhode Inc9804742022-01-05T12:32:49ZZ236stevetaoCiteSeerX — Lectures on the Curry-Howard Isomorphism9804722022-01-05T11:58:06ZZ236stevetaoCertified Programming with Dependent Types9804712022-01-05T11:57:38ZZ236stevetaoUnderstanding Programming Languages | Prof. Mordechai (Moti) Ben-Ari9804702022-01-05T11:53:32ZZ236stevetaoData, Syntax and Semantics9804692022-01-05T11:51:58ZZ236stevetaoExploring Programming Language Architecture in Perl9804672022-01-05T11:44:43ZZ236stevetaoGitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source9804662022-01-05T11:43:21ZZ236stevetaoCategory Theory for Programmers: The Preface | Bartosz Milewski's Programming Cafe9804652022-01-05T11:43:08ZZ236stevetaoProgramming and Programming Languages9804642022-01-05T11:41:20ZZ236stevetaoAnatomy of Programming Languages9804632022-01-05T11:37:45ZZ236stevetaoMinimal Programming: Programming Language Book9804622022-01-05T11:36:39ZZ236stevetaoShriram Krishnamurthi9804612022-01-05T11:34:37ZZ236stevetaoPractical Foundations for Programming Languages9804602022-01-05T11:29:46ZZ236stevetaoITEC 380 - Organization of Programming Languages6835002021-04-23T16:07:18ZZ236stevetaoCS 340: Home page3502052020-06-11T12:26:43ZZ236stevetaoIn layman's terms, what are the major programming languages, and what are they used for? - Quora3216442020-05-30T17:28:58ZZ236stevetaoML Dialects and Haskell: SML, OCaml, F#, Haskell - Hyperpolyglot3216432020-05-30T17:27:00Z2020-05-30T10:27:37Z236stevetaoProgramming Languages & Tools - Free Books at EBD3216422020-05-30T17:16:23ZZ236stevetaoDepartment of Computer Science & Technology - Andrew Pitts3216372020-05-30T07:18:19ZZ236stevetaoOPLSS 2020 | University of Oregon3216362020-05-30T07:11:29ZZ236stevetaoProgramming and Programming Languages3216352020-05-30T07:08:03ZZ236stevetaoSimon Peyton Jones at Microsoft Research3216162020-05-29T03:25:28ZZ236stevetaoDenotational Semantics: A Methodology for Language Development3216142020-05-29T03:03:05ZZ236stevetaoData, Syntax and Semantics3216132020-05-29T02:56:53ZZ236stevetaoOnline CS Modules: Programming Languages3216122020-05-29T02:53:58ZZ236stevetaoDictionary of Programming Languages3216112020-05-29T02:43:45ZZ236stevetaoSemantics in Action - Applications and Scenarios | IntechOpen3216092020-05-29T02:41:30ZZ236stevetaoSemantics - Advances in Theories and Mathematical Models | IntechOpen3216082020-05-29T02:40:46ZZ236stevetaoIntroduction to Computing: Explorations in Language, Logic, and Machines3216072020-05-29T02:39:13ZZ236stevetaoImplementing functional languages: a tutorial - Microsoft Research3216062020-05-29T00:14:23Z2022-01-05T03:55:09Z236stevetaoAnatomy of Programming Languages3215942020-05-28T15:01:31Z2020-05-28T17:15:30Z236stevetaoRobert Harper's Home Page3215932020-05-28T14:58:54Z2020-05-28T17:16:11Z236stevetaoChapter 0 Preface — Programming Languages3215872020-05-28T03:22:56Z2020-05-28T17:15:51Z236stevetaoImplementing Programming Languages2909212020-03-26T16:05:18Z2022-10-28T14:23:36Z236stevetao