Interpreter: Arithmetic Expressions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 3 of 4

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

Safe Mutation in Scala

Explores safe mutation in Scala, emphasizing the management of mutable state and its significance in interactions, modeling, and implementation efficiency.

Recursive Functions in C++

Covers the principles and implementation of recursive functions in C++.

Functional Decomposition: Pattern Matching

Covers functional decomposition with pattern matching in Scala to access heterogeneous data in a class hierarchy.

Lambda Calculus: Syntax and Abstractions

Introduces terms, abstractions, applications, and values in the lambda calculus.

Lazy Evaluation: Lazy Lists

Explores lazy evaluation and lazy lists in Scala, emphasizing their benefits and implementation.

Programming Paradigms: Functional, OOP, Polymorphism

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

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.

Recursive Functions: Examples and Applications

Explores recursive functions, including factorials and Fibonacci sequences, and their scope and namespaces.

Functional Reactive Programming

Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.