Search
Results
Semantics in Action - Applications and Scenarios | IntechOpen
Semantics - Advances in Theories and Mathematical Models | IntechOpen
CiteSeerX — Lectures on the Curry-Howard Isomorphism
Certified Programming with Dependent Types
Understanding Programming Languages | Prof. Mordechai (Moti) Ben-Ari
[http://www.weizmann.ac.il/sci-tea/benari/research-activities/understanding-programming-languages] - - public:stevetao
Data, Syntax and Semantics
Exploring Programming Language Architecture in Perl
GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Category Theory for Programmers: The Preface | Bartosz Milewski's Programming Cafe
[https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/] - - public:stevetao
Programming and Programming Languages
Anatomy of Programming Languages
Minimal Programming: Programming Language Book
Practical Foundations for Programming Languages
Programming Languages & Tools - Free Books at EBD
Programming and Programming Languages
Denotational Semantics: A Methodology for Language Development
Data, Syntax and Semantics
[http://www.cs.swan.ac.uk/~csjvt/JVTTeaching/DataSyntaxandSemantics.html#about%20the%20book] - - public:stevetao
Semantics in Action - Applications and Scenarios | IntechOpen
[https://www.intechopen.com/books/semantics-in-action-applications-and-scenarios] - - public:stevetao
Semantics - Advances in Theories and Mathematical Models | IntechOpen
[https://www.intechopen.com/books/semantics-advances-in-theories-and-mathematical-models] - - public:stevetao
Introduction to Computing: Explorations in Language, Logic, and Machines
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] - - public:stevetao