![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[SND]](/icons/sound2.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2008-03-31a-Alexey-Radul-test-scheme-differences.mp3 | 09-Apr-2008 01:31 | 25M | |
| 2008-03-31b-Rahul-Jain-DefDoc.mp3 | 09-Apr-2008 01:31 | 23M | |
| 2008-04-22a-Peter-Dillinger-ACL2s.mp3 | 23-Apr-2008 00:08 | 34M | |
| 2008-04-22b-Hans-Hubner-BKNR.mp3 | 23-Apr-2008 00:35 | 40M | |
| 2008-05-27-Greg-Cooper-FrTime.mp3 | 27-May-2008 23:54 | 54M | |
| 2008-06-25a-Danny-Yoo-DivaScheme.mp3 | 26-Jun-2008 01:38 | 16M | |
| 2008-06-25b-Shriram-Krishnamurthi-relationally-parametric-polymorphic-contracts.mp3 | 26-Jun-2008 02:14 | 41M | |
| 2008-07-21-Jay-McCarthy-cryptographic-protocol-explication.mp3 | 16-Sep-2005 00:00 | 103M | |
| 2008-10-27-Tim-McNerney-connection-machine.mp3 | 16-Sep-2005 00:00 | 68M | |
| 2008-10-27b-Greg-Pfeil-oopsla-lisp50.mp3 | 27-Oct-2008 20:16 | 3.7M | |
| Richhickey-ClojureForLispProgrammersPart1.mov | 27-Oct-2008 20:52 | 27M | |
| Richhickey-ClojureForLispProgrammersPart2.mov | 27-Oct-2008 20:57 | 37M | |