In this editorial you can find books licensed under CC BY-NC-SA 4.0.
The books are free in its online web version and at a reasonable
price in online retailer stores. If you like the kind of books
this editorial produces, please spread the word or help us
keeping it open by
donating a cup of coffee.
Thanks!
This book teaches how to use a simple markup language, Markdown, and an open source tool, Pandoc, to write and format all possible documents you will ever create. The book covers the basics of Markdown as well as case studies used in lectures, published conferences and even by book writers. The case studies include how to create beautiful slides, generate a blog, generate an ebook and even how to write and format a research paper.
Format: ePub onlyThis books covers GRASP principles from the type system's perspective. We show the different aspects to consider when programming in a static and dynamic language. For these purposes, we show examples using Java and Python, comment on what the type system brings to an OOP perspective and show the benefits and drawbacks of these languages.
2017, Sep 12 — Expected July 2019This book introduces the lambda calculus (untyped and typed) and the programming language background necessary to understand the lambda calculus. Based on this gained knowledge, you will understand the formal syntax of almost any formalised language, such as web assembly.
TBD