Lecture

Nested Recursive Definitions

Related lectures (31)

Functional Programming: Concepts and Implementation

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

Blocks and Lexical Scopes

Explores nested functions, blocks, visibility rules, and lexical scoping in Scala.

Recursion: Understanding Recursive Functions

Explores recursion, fixpoints, and procedures in depth, emphasizing understanding recursive functions.

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Closure Conversion: Representation and Transformation

Explores the representation and transformation of values, focusing on closure conversion and the challenges of representing functions in functional languages.

Safe Mutation in Scala

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

Belief Propagation: Key Methods and Analysis

Covers Belief Propagation, a key method for both analysis and algorithm.

Distributed Randomness: Drand

Explores distributed randomness using Drand, covering cryptographic tools, key exchange, elliptic curve cryptography, and practical applications in blockchain systems.

Recursive Functions: Examples and Applications

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

Secret Key Agreement

Explains secret key agreement systems, perfect secrecy, and the criteria for secure communication.

Public-Key Cryptography: Key Exchange and Signatures

Explores public-key cryptography, key exchange, and digital signatures, discussing practical applications and security mechanisms.

Functional Programming Basics in Scala

Covers the basics of functional programming in Scala, including evaluation strategies, conditionals, and value definitions, with a focus on computing square roots with Newton's method.

Asymmetric Cryptography and Password-based Authentication

Covers asymmetric cryptography, hybrid encryption, Diffie-Hellman key exchange, authentication challenges, secure password storage, and transfer methods.

Asymmetric Cryptography: RSA, Elliptic Curves, Lattices

Explores RSA, elliptic curves, and lattice-based cryptography for secure communication.

Tail Recursion

Covers tail recursion, optimizing functions in Scala for iterative processes and providing examples like tail-recursive factorial.

Cryptography: Secret Key

Introduces secret key cryptography, covering 'one-time pad' encryption, flaws in key sharing, and the Data Encryption Standard (DES) principles and operation.

Secure Communications: TLS and Security Protocols

Explores TLS, security protocols, synchronization, fair termination, and secure communication applications.

Cryptography Basics

Introduces cryptography basics, covering encryption, data integrity, error detection, digital signatures, and authentication.

Diffie-Hellman Cryptography: Key Exchange and Attacks

Explores Diffie-Hellman key exchange, DDH problem, active attacks, and cryptographic protocol challenges.

Cryptography basics: Quantum Systems

Covers the basics of cryptography, encryption, decryption, error detection, and the impact of quantum computing.