Agda is a dependently typed functional programming language based on intuitionistic Type Theory. Here’s our recommended free books to learn about Agda and Type Theory.
Read more
Author: Erik Karlsson
Excellent Free Books to Learn Eiffel
Eiffel is an object-oriented programming language designed by Bertrand Meyer and Eiffel Software. Here’s our recommended free books to learn Eiffel.
Read more
Excellent Free Tutorials to Learn Chapel
Chapel is an open-source, high-productivity, parallel-programming language in development at Cray Inc., and is designed to run on multi-core PCs as well as multi-kilocore supercomputers.
Read more
Excellent Free Books to Learn Factor
Factor is a dynamic stack-based programming language inspired by earlier stack-based languages like Forth and Joy. Here’s our recommended free books to learn Factor.
Read more
Excellent Free Tutorials to Learn F#
F# (pronounced F sharp) is a general purpose, strongly typed, multi-paradigm programming language. Here’s our recommended free tutorials to learn F#.
Read more
Excellent Free Tutorials to Learn ABAP
ABAP (Advanced Business Application Programming) is a fourth-generation, high-level programming language created by the German software company SAP SE. Here’s our recommended ABAP tutorials.
Read more
Excellent Free Tutorials to Learn Dart
Dart is a multi-paradigm, object-oriented, class defined, garbage-collected, scripting language using a C-style syntax that can transcompile into JavaScript. Here’s our recommended free tutorials.
Read more
Excellent Free Tutorials to Learn Elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications. Here’s our recommended tutorials to master this language.
Read more
4 Excellent Free Books to Learn Tcl
Tcl (Tool Command Language) is a dynamic programming/scripting language based on concepts of Lisp, C, and Unix shells. Here’s our recommended free Tcl books
Read more
Excellent Free Tutorials to Learn LaTeX
LaTeX is a professional document preparation system and document markup language written by Leslie Lamport. It’s a very mature system with development starting more than 30 years ago. Here’s our recommended tutorials to learn LaTeX.
Read more