Upload

Loading icon Loading...

This video is unavailable.

Conor McBride - Dependently-Typed Metaprogramming 2/8: Metaprogramming the Simply-Typed λ-Calculus

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to like Ohad Kammar's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to dislike Ohad Kammar's video.

Sign in to YouTube

Sign in with your Google Account (YouTube, Google+, Gmail, Orkut, Picasa, or Chrome) to add Ohad Kammar's video to your playlist.

Published on Aug 14, 2013

Lecture 2 of 8 in Conor McBride's "Dependently-Typed Metaprogramming (in Agda)" given at the Cambridge University Computer Laboratory during August 2013.

Course materials (lecture notes, exercises) are available at the course webpage: http://www.cl.cam.ac.uk/~ok259/agda-c...

Loading icon Loading...

Loading icon Loading...

Loading icon Loading...

The interactive transcript could not be loaded.

Loading icon Loading...

Loading icon Loading...

Ratings have been disabled for this video.
Rating is available when the video has been rented.
This feature is not available right now. Please try again later.

Loading icon Loading...

Loading...
Working...
Sign in to add this to Watch Later

Add to