Podcast Episodes
Back to Search
Lambda-Calculus and Combinators: An Introduction
An introduction to lambda-calculus and combinatory logic, two foundational systems of logic that function as abstract programming languages. Original…
10 hours ago
Lambda Calculus with Types (Perspectives in Logic)
A comprehensive mathematical exploration of three primary typing systems: simple types, recursive types, and intersection types. By transitioning fro…
1 day, 10 hours ago
JavaScript Application Design: A Build First Approach
A "Build First" philosophy to improve web development quality and reliability. The author emphasizes that modern front-end projects require the same …
2 days, 10 hours ago
Java: A Beginner's Guide, Seventh Edition
A comprehensive instructional manual designed for individuals with no previous programming background. The text covers Java SE 9 (JDK 9) fundamentals…
3 days, 10 hours ago
Java Testing with Spock
A technical guide published by Manning Publications that details how to use the Spock framework for software verification. The text explains that Spo…
4 days, 10 hours ago
iOS 11 Swift Programming Cookbook: Solutions and Examples for iOS Apps
A technical guide for intermediate and advanced developers. The text focuses heavily on continuous integration and delivery, specifically detailing h…
5 days, 10 hours ago
iOS 11 Programming Fundamentals with Swift: Swift, Xcode, and Cocoa Basics
A comprehensive guide for beginners and experienced developers to master the core components of Apple's development ecosystem. The text explores the …
6 days, 10 hours ago
iOS 10 Programming Fundamentals with Swift: Swift, Xcode, and Cocoa Basics
A technical guide for aspiring mobile developers. It introduces the Swift programming language by emphasizing its object-oriented nature, where every…
1 week ago
Introduction to Java Programming and Data Structures
A technical overview of computer hardware and software fundamentals, such as the role of the CPU, memory, and various programming languages. The docu…
1 week, 1 day ago
Introducing Erlang: Getting Started in Functional Programming
A functional programming language designed by Ericsson for high reliability and scalability. The author, Simon St.Laurent, guides newcomers through t…
1 week, 2 days ago