Reduction of Lists

Related lectures (21)

Page 1 of 3

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

Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.

Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.

Covers higher-order functions, function types, and anonymous functions in programming.

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Covers currying, stepwise applications, and the history of the concept.

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

Explores lambda calculus, higher-order functions, and recursive function encoding.

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