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
Concept
Lambda lifting
Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...
Related lectures (32)
Graph Chatbot
Login to filter by course
Login to filter by course
Reset
Previous
Page 1 of 4
Next
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
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.
STL Essentials
Covers the essential concepts of the Standard Template Library (STL) in C++ for efficient data manipulation.
Lambdas: introduction
Introduces lambdas in Java, focusing on sorting with Comparator interface.
Church Numerals and Conditionals
Explores Church numerals and encoding conditionals in lambda calculus.
Functional Programming in Python
Covers functional programming concepts in Python, showcasing filtering lists based on specific criteria.
Lambda Calculus: Church Numerals
Explores Church numerals, Booleans, pairs, recursion, and behavioral equivalence in Lambda Calculus.
Python Programming: List Comprehensions and Higher Order Functions
Explores advanced Python programming concepts, focusing on list comprehensions and higher order functions.
Monetary Policy and Public Debt Analysis
Analyzes monetary and fiscal policy responses to public debt accumulation and the impact of Covid-19 on global economies.
Lambda Functions: Syntax and Examples
Covers the syntax and examples of lambda functions, including parameters, types, bodies, and environments.
