Coq is a dependently typed language. This means that the types of the language may depend on the values of variables. Here’s our recommended free books to learn Coq.
Read more
Category: Books
3 Excellent Free Books to Learn Dylan
Dylan is a multi-paradigm language supporting functional and object-oriented programming. Here’s our recommended free books to learn Dylan.
Read more
5 Excellent Free Books to Learn Raku
Raku is a member of the Perl family of programming languages. Here’s our recommended free books to learn Raku.
Read more
Excellent Free Books to Learn PostScript
PostScript is an interpreted, stack-based language similar to Forth but with strong dynamic typing, data structures inspired by those found in Lisp, scoped memory and garbage collection.
Read more
3 Excellent Free Books to Learn LabVIEW
LabVIEW is a graphical programming language used by professional scientists and engineers as well as students, hobbyists and makers.
Read more
4 Excellent Free Books to Learn J
The J programming language, developed in the early 1990s by Kenneth E. Iverson and Roger Hui, is an array programming language based primarily on APL
Read more
3 Excellent Free Books to Learn about VHDL
VHDL is a hardware description language used in electronic design automation.
Read more
3 Excellent Free Books to Learn about ClojureScript
ClojureScript is a compiler for Clojure that targets JavaScript. Here’s our recommended free books to learn ClojureScript.
Read more
Excellent Free Books to Learn PureScript
Learn PureScript with these free books.
Read more
Excellent Free Books to Learn Objective-C
Objective-C is a general-purpose, dynamic, object-oriented programming language that adds Smalltalk-style messaging to the C programming language.
Read more