ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

113,503 results

CppNow
Michael Caisse: Lambda Functions

Michael's talk from C++Now! 2012 Anonymous functions have proven to be a useful tool in many languages. Their locality and ...

1:44:21
Michael Caisse: Lambda Functions

0 views

13 years ago

Fred Martin
Transforming let and lambda expressions

Transforming let expressions into lambda expressions and vice-versa, including let*. From UMass Lowell's COMP.3010 ...

31:22
Transforming let and lambda expressions

0 views

8 years ago

Theo Reto
The Extension λ_ω_ (Lambda Weak Omega)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

26:48
The Extension λ_ω_ (Lambda Weak Omega)

0 views

4 years ago

Andy Balaam
Scheme 6: Lambda

In Scheme, the lambda function is just a way of defining a function without giving it a name. Andy Balaam explains how to use ...

20:58
Scheme 6: Lambda

0 views

13 years ago

PyCon SG
Python on AWS Lambda - PyCon SG 2019

Speaker: Keith Rozario, IT Architect "Serverless functions like AWS lambda are the new paradigm for developers. In this talk I want ...

47:14
Python on AWS Lambda - PyCon SG 2019

0 views

6 years ago

Kristopher Micinski
L6: Lambdas

Reading: SICP section 1.3 up to (stopping right before) 1.3.3 ...

25:38
L6: Lambdas

2,799 views

5 years ago

flucon fluid control GmbH
Basics of Thermal Conductivity Measurement with LAMBDA

This video shows a demonstration of how the temperature-dependent thermal conductivity of fluids is determined by means of ...

9:50
Basics of Thermal Conductivity Measurement with LAMBDA

3,163 views

6 years ago

RU Computer Science
Programming Languages: Lambda Calculus - 1

First lecture on Lambda Calculus.

26:17
Programming Languages: Lambda Calculus - 1

0 views

12 years ago

Cave of Programming
Lambdas with Receivers: Kotlin for Complete Beginners 042

Some revision on functions with receivers, and about lambda expressions with receivers. Github: ...

6:47
Lambdas with Receivers: Kotlin for Complete Beginners 042

0 views

1 year ago

Theo Reto
The Simply Typed Lambda Calculus (2.1)

CONTENT This video is part of the playlist "Lambda Cube Unboxed", a series of 13 videos that explores and exposes the basics ...

18:41
The Simply Typed Lambda Calculus (2.1)

11,440 views

4 years ago

Adam Doupé
CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1"

Update lambda calculus lectures from 2016: https://youtu.be/KoIdCHDbpMI Recorded lecture for CSE 340 on 11/23/15 starting the ...

1:12:05
CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1"

37,211 views

10 years ago

toitoitoy
Korg Lambda Demo Cassette (1980)

Korg Lambda 1980 US demo cassette.

12:43
Korg Lambda Demo Cassette (1980)

4,024 views

13 years ago

The Random Professor
More Elimination of Lambda Productions

Another example of eliminating lambda productions. For more math, subscribe to my channel: ...

5:32
More Elimination of Lambda Productions

0 views

1 year ago

Dev Corner
Lambda Functions - Mary had a little lambda by Anjana Vakil

Mary had a little lambda, a function pure as snow. And for every program that Mary wrote, the lambda was all she needed to know.

44:21
Lambda Functions - Mary had a little lambda by Anjana Vakil

0 views

7 years ago

LispNYC
John Tromp: The Binary Lambda Calculus, The Smallest Program Language

We'll discuss the Binary Lambda Calculus (BLC), an extremely simple programming language that is basically lambda calculus ...

3:03:36
John Tromp: The Binary Lambda Calculus, The Smallest Program Language

4,021 views

Streamed 3 years ago

Quick Coding Tips
The Mysterious #Lambda in #Python: Unleashing the #Power of Anonymous Functions

In this video, we delve into the mysterious world of lambda functions in Python. You'll learn what lambda functions are and how ...

0:58
The Mysterious #Lambda in #Python: Unleashing the #Power of Anonymous Functions

2,256 views

3 years ago

RU Computer Science
Programming Languages: Lambda Calculus - 2

Second lecture on lambda calculus.

19:53
Programming Languages: Lambda Calculus - 2

0 views

12 years ago

LispNYC
Dustin Mulcahey on Lambda Calculus

LISP has its syntactic roots in a formal system called the lambda calculus. After a brief discussion of formal systems and logic in ...

1:36:06
Dustin Mulcahey on Lambda Calculus

526 views

3 years ago

Theo Reto
Lambda Cube Unboxed (0)

CONTENT "Lambda Cube Unboxed" is a video series on the basic (un-)typed lambda calculi which form the basis of many ...

4:17
Lambda Cube Unboxed (0)

5,691 views

4 years ago

Jesse Warden
Updating & Invoking Your Lambda

We show you how to write code locally, update your Lambda function remotely, and invoke it to see the results of your newly ...

5:24
Updating & Invoking Your Lambda

0 views

9 years ago