00:00
3749
More
See all Show me
Malcolm Wallace's videos
37. Attribute Grammars Fly First-Class: How to do Aspe…
by Malcolm Wallace
2 years ago
36. Partial Memoization of Concurrency and Communication
by Malcolm Wallace
2 years ago
35. Experience Report: seL4: Formally Verifying a High…
by Malcolm Wallace
2 years ago
34. Parallel Concurrent ML
by Malcolm Wallace
2 years ago
33. Automatically RESTful Web Applications: Marking Mo…
by Malcolm Wallace
2 years ago
32. Control-Flow Analysis of Function Calls and Return…
by Malcolm Wallace
2 years ago
31. Free Theorems Involving Type Constructor Classes
by Malcolm Wallace
2 years ago
30. Organizing Functional Code for Parallel Execution;…
by Malcolm Wallace
2 years ago
29. A Universe of Binding and Computation
by Malcolm Wallace
2 years ago
28. Experience Report: Haskell in the “Real World” : W…
by Malcolm Wallace
2 years ago
27. Beautiful Differentiation
by Malcolm Wallace
2 years ago
26. A Concurrent ML Library in Concurrent Haskell
by Malcolm Wallace
2 years ago
25. Biorthogonality, Step-Indexing and Compiler Correctness
by Malcolm Wallace
2 years ago
24. Lambda, the Ultimate TA: Using a Proof Assistant t…
by Malcolm Wallace
2 years ago
23. Report on the Twelfth ICFP Programming Contest
by Malcolm Wallace
2 years ago
22. ICFP'09, PC Chair’s Report
by Malcolm Wallace
2 years ago
21. Generic Programming with Fixed Points for Mutually…
by Malcolm Wallace
2 years ago
20. Non-Parametric Parametricity
by Malcolm Wallace
2 years ago
19. Effective Interactive Proofs for Higher-Order Imper…
by Malcolm Wallace
2 years ago
18. Commutative Monads, Diagrams and Knots
by Malcolm Wallace
2 years ago
17. Stack tracing in Haskell
by Malcolm Wallace
2 years ago
16. Implementing Data Parallel Haskell
by Malcolm Wallace
2 years ago
15. Statistical benchmarking in Haskell
by Malcolm Wallace
2 years ago
14. A wander through GHC's new IO Library
by Malcolm Wallace
2 years ago
13. GHC on the OpenSPARC T2
by Malcolm Wallace
2 years ago
12. Rant about Lazy I/O
by Malcolm Wallace
2 years ago
11. Parallel Haskell Runtime System (GpH, Eden, and friends)
by Malcolm Wallace
2 years ago
Lambda, the Ultimate TA: Using a Proof Assistant to Teach Programming Language Foundations

Benjamin C. Pierce; University of Pennsylvania

International Conference on Functional Programming (ICFP)
Edinburgh 2009
ACM SIGPLAN

Credits

Likes

This conversation is missing your voice. Take five seconds to join Vimeo or log in.

Advertisement

About this video

MP4
01:02:29
  • 640x480, 162.63MB
  • Uploaded Wed September 16, 2009
  • Please join or log in to download

Statistics

Date Plays Comments
Totals 1,403 7 0
Feb 15th 0 0 0
Feb 14th 0 0 0
Feb 13th 0 0 0
Feb 12th 0 0 0
Feb 11th 0 0 0
Feb 10th 0 0 0
Feb 9th 0 0 0