Lectures related to Functional Reactive Programming

Functional Reactive Programming: Signals and Transformations

Explores functional reactive programming using signals to simplify state changes and event reactions in a more functional and clean approach.

Termination Analysis using Dependency Pairs

Explores automated termination analysis using dependency pairs, covering classical and modern techniques, annual competitions, and tools like AProVE.

Discrete Event Simulation

Covers discrete event simulation using digital circuits, base components, complex components, and simulation implementation.

LabVIEW Programming Essentials

Explores LabVIEW essentials, troubleshooting common issues, managing cache, and data visualization techniques.

Functional Programming Principles

Covers the principles and benefits of functional programming, emphasizing immutable data and functions.

Stainless Verification System Tutorial

Introduces Stainless, an open-source tool for verifying Scala programs, covering language, modeling, verification tips, and inner workings.

Imperative Event Handling: The Observer Pattern

Introduces the widely used Observer Pattern for views to react to model changes, with examples of Publisher, Subscriber, and a Consolidator.

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Functional Programming: Concepts and History

Explores imperative programming limitations, theories without mutation, functional programming principles, and the history of functional languages.

Recursion in Programming

Explores recursion in programming, discussing its benefits, challenges, and impact on algorithm complexity.

Programming Concepts Review and Study Guide

Covers a review of programming concepts and provides guidance on effective study methods and practices.

Monads: Concepts and Applications

Explores monads, their laws, Scala implementation, and practical applications in functional programming.

Dynamic Arrays in C++: Features and Performance

Covers the implementation and manipulation of dynamic arrays in C++ using vectors, focusing on their features and performance implications.

Introduction to Object-Oriented Programming in Java

Covers the basic concepts of object-oriented programming in Java, emphasizing encapsulation, abstraction, and the importance of organizing complex programs.

Untitled

Programming Paradigms: Functional, OOP, Polymorphism

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

FPGA Programming with Speedgoat: Real-Time Signal Processing

Focuses on implementing a square function generator using Speedgoat FPGA technology and real-time signal processing techniques.

Practical Engineering 1: Signal Processing

Explores advanced software engineering topics and signal processing using lazy lists to build a sound synthesizer from scratch.

Designing Systems for Harsh Environments: Principles and Strategies

Covers design principles for mechanical systems in radiative and dusty environments.

Loops: Control Statements and Functions

Covers modeling control statements with functions in Scala, including while loops, repeat loops, and for-loops translation.