00:00
1494
More
See all Show me
Malcolm Wallace's videos
44. In Memoriam Peter Landin
by Malcolm Wallace
2 years ago
43. A Theory of Typed Coercions and its Applications
by Malcolm Wallace
2 years ago
42. Finding Race Conditions in Erlang with QuickCheck …
by Malcolm Wallace
2 years ago
41. Safe Functional Reactive Programming through Depen…
by Malcolm Wallace
2 years ago
40. Most Influential ICFP’99 Paper Award
by Malcolm Wallace
2 years ago
39. A Functional I/O System or, Fun for Freshman Kids
by Malcolm Wallace
2 years ago
38. Scribble: Closing the Book on Ad Hoc Documentation Tools
by Malcolm Wallace
2 years ago
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
Free Theorems Involving Type Constructor Classes
Janis Voigtländer; Technische Universität Dresden

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

Credits

Like

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

Advertisement

About this video

MP4
00:24:54
  • 640x480, 80.49MB
  • Uploaded Thu September 17, 2009
  • Please join or log in to download

Statistics

Date Plays Comments
Totals 206 1 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