Declarative Programming Courses and Certifications

Java

Datomic: A Revolutionary Database System - Rich Hickey's Overview

Explore Datomic's innovative approach to database design with creator Rich Hickey, covering its architecture, time model, and benefits for declarative programming and data management.

• YouTube
• 51 minutes
• On-Demand
• Free Video

Center for Language & Speech Processing(CLSP), JHU

Declarative Programming via a Relational Algebra - PhD Defense

Explore declarative programming through relational algebra in this PhD defense presentation, delving into advanced concepts and research findings.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

Code Sync

The Work Done by Something Else - Exploring Declarative Programming

Explore declarative programming through everyday and exotic examples. Gain insights into abstraction, automation, and the philosophy of programming for practical knowledge.

• YouTube
• 29 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Direct ASP Encoding for Declare

Explore a novel ASP encoding for Declare constraints in Process Mining, comparing its effectiveness to alternative approaches for improved business process modeling.

• YouTube
• 27 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Stable Model Semantics Extension of miniKanren

Explore stable model semantics extension for miniKanren, enhancing logic programming capabilities and expanding its application domains.

• YouTube
• 47 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Immutable Arrays Help Mutating Arrays More Efficiently - ML'23 Lecture

Explore how immutable arrays enable compiler optimizations for efficient implementations, challenging intuitions about low-level control in array computations.

• YouTube
• 32 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Practical Approach to Handling Tabular Data in Logic

Explore a practical approach to transforming tabular data into logical structures using the KeBAP API for the IDP-Z3 reasoning engine, addressing challenges in combining multiple data sources in declarative programming.

• YouTube
• 25 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Leveraging LLM Reasoning with Dual Horn Programs

Explore Dual Horn clauses as enablers of constructive negation for goal-driven forward reasoning, with applications in enhancing LLM reasoning chains and providing explainability in Generative AI.

• YouTube
• 33 minutes
• On-Demand
• Free Video

ACM SIGPLAN

A Weighted Bipolar Argumentation Framework and its ASP-based Implementation

Explore a novel Weighted Bipolar Argumentation Framework (WBAF) that handles attack and support relations with argument weights, and learn about its ASP-based implementation tool for generating minimum-penalty preferred extensions.

• YouTube
• 23 minutes
• On-Demand
• Free Video

ACM SIGPLAN

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic

Explore SM-based semantics for answer set programming with conditional literals and arithmetic, offering a non-grounding alternative to traditional infinitary propositional logic translations.

• YouTube
• 27 minutes
• On-Demand
• Free Video

Programming Paradigm Concepts

Explore a range of programming paradigms, including imperative and declarative, procedural, functional, and object-oriented programming.

• DataCamp
• 2 hours
• On-Demand
• Free Trial Available

Svelte Basics: Getting Started and Core Concepts

Discover Svelte's modern approach to UI development through compile-time optimization, component building, reactivity with $state API, and intuitive control flow directives for more efficient web applications.

• CodeSignal
• On-Demand
• Free Certificate

Amigoscode

Functional Programming with Java Streams API

1 review

Learn functional programming with Java Streams API, exploring imperative vs declarative approaches. Master filtering, mapping, and visualizing streams to write more efficient and expressive code.

• YouTube
• 50 minutes
• On-Demand
• Free Video

Computer Science 101 - Computers & Programming for Beginners

2185 ratings at Udemy

Understand the basic concepts behind Computers, Computer Science, Programming and Programming Languages

• Udemy
• 1 hour 2 minutes
• On-Demand
• Paid Course

Functional Programming in JavaScript: A Practical Approach

715 ratings at Udemy

Finally, understand and use the concepts of functional programming in JavaScript.

• Udemy
• 6 hours 40 minutes
• On-Demand
• Paid Course