Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Lazy Evaluation: Lazy Lists
Graph Chatbot
Related lectures (28)
Previous
Page 2 of 3
Next
C++ Standard Library: Containers and Algorithms
Covers the basics of C++ standard library containers, algorithms, and iterators.
Purely Functional Priority Queue
Covers optimal purely functional priority queues, Scala implementation, Stainless integration, operations properties, and binomial queues.
Combinatorial Search: For-Expressions
Explores the use of for-expressions in Scala to simplify computations and solve problems like combinatorial search and N-Queens.
Data Abstraction: Modules and Specifications in Coq
Discusses data abstraction in programming, focusing on modules and specifications in Coq.
Conc-Trees: Parallel Programming in Scala
Covers the implementation of Conc-Trees in Scala for parallel programming.
Introduction to Compiler Theory and Language Processing
Introduces compiler theory, language processing, and the essential concepts behind building compilers.
Python Programming: List Comprehensions and Higher Order Functions
Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.
Data Operations and Parallel Mapping
Explores parallel programming in Scala, functional operations on collections, and parallel map functions on arrays and trees.
Functions and Lists: Complements and Manipulation
Explores functions' complements, parameter order, and list manipulation, including counting occurrences and solving the '100 prisoners problem'.
Data Structures: Arrays and Functions
Introduces working with dynamic arrays in C++ to model temperatures and calculate average and maximum values.