Lambda Lounge Utah

@UCzV_m1G3JV8aCp0BQNWNP_g - 876 subscribers

Home Videos Live Playlists

The Probabilistic Power of Polynomials

The Probabilistic Power of Polynomials Lambda Lounge Utah

757 views - 10 years ago

Programming and Math

Programming and Math Lambda Lounge Utah

11.5K views - 10 years ago

Reactive Streams by Tim Harper

Reactive Streams by Tim Harper Lambda Lounge Utah

398 views - 11 years ago

Distributed Systems by JT Olds

Distributed Systems by JT Olds Lambda Lounge Utah

248 views - 11 years ago

Wherefore art thou Erlang?

Wherefore art thou Erlang? Lambda Lounge Utah

243 views - 11 years ago

Introduction to Coq by Kimball Germane

Introduction to Coq by Kimball Germane Lambda Lounge Utah

37.8K views - 11 years ago

The Compuserve of Things by Phil Windley

The Compuserve of Things by Phil Windley Lambda Lounge Utah

211 views - 11 years ago

What is Static Analysis? by Matt Might

What is Static Analysis? by Matt Might Lambda Lounge Utah

23.2K views - 11 years ago

Relational Programming in miniKanren by William Byrd, Part 2/2

Relational Programming in miniKanren by William Byrd, Part 2/2 Lambda Lounge Utah

2.2K views - 11 years ago

Relational Programming in miniKanren by William Byrd, Part 1/2

Relational Programming in miniKanren by William Byrd, Part 1/2 Lambda Lounge Utah

6.7K views - 11 years ago

Haskell by Levi Pearson

Haskell by Levi Pearson Lambda Lounge Utah

300 views - 12 years ago

Macros, Modules, and Languages in Racket by Matthew Flatt

Macros, Modules, and Languages in Racket by Matthew Flatt Lambda Lounge Utah

4.6K views - 12 years ago

Introduction to Functional Programming via Racket by Jay McCarthy

Introduction to Functional Programming via Racket by Jay McCarthy Lambda Lounge Utah

5.1K views - 12 years ago