00:00
1705
More
See all Show me
Malcolm Wallace's videos
51. Experience Report: Embedded, Parallel Computer-Vis…
by Malcolm Wallace
2 years ago
50. SIGPLAN Programming Languages Achievement Award: R…
by Malcolm Wallace
2 years ago
49. Functional Pearl: La Tour D’Hanoï
by Malcolm Wallace
2 years ago
48. Identifying Query Incompatibilities with Evolving …
by Malcolm Wallace
2 years ago
47. Experience Report: Using Ob jective Caml to Develo…
by Malcolm Wallace
2 years ago
46. Causal Commutative Arrows and Their Optimization
by Malcolm Wallace
2 years ago
45. Experience Report: OCaml for an Industrial-strengt…
by Malcolm Wallace
2 years ago
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
Scribble: Closing the Book on Ad Hoc Documentation Tools

Matthew Flatt , Eli Barzilay , Robert Bruce Findler; University of Utah, Northeastern Uni-
versity, Northwestern University

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
00:28:25
  • 640x480, 96.12MB
  • Uploaded Thu September 17, 2009
  • Please join or log in to download
1 Related collection

Statistics

Date Plays Comments
Totals 922 4 0
Feb 15th 0 0 0
Feb 14th 0 0 0
Feb 13th 1 0 0
Feb 12th 0 0 0
Feb 11th 1 0 0
Feb 10th 0 0 0
Feb 9th 0 0 0