00:00
1740
More
See all Show me
Scott Smith's videos
69. Reason Isomorphically! by Ralf Hinze and Daniel James
by Scott Smith
1 year ago
68. Fritz Henglein and Ken Friis Larsen by Bryan Chadw…
by Scott Smith
1 year ago
67. Generic Multiset Programming for Language-Integrat…
by Scott Smith
1 year ago
66. Generic Selections of Subexpressions by Martijn va…
by Scott Smith
1 year ago
65. Generic Storage in Haskell by Sebastiaan Visser an…
by Scott Smith
1 year ago
64. Scrap Your Zippers: A Generic Zipper for Heterogen…
by Scott Smith
1 year ago
63. Outrageous but Meaningful Coincidences (Dependent …
by Scott Smith
1 year ago
62. Welcome and PC chair report by Bruno C. d. S. Oliv…
by Scott Smith
1 year ago
61. CL2: Eating One’s Own Dogfood by Warren A. Hunt Jr…
by Scott Smith
1 year ago
60. Functional Programming at Freebase by Warren Harri…
by Scott Smith
1 year ago
59. Functional Language Compiler Experiences at Intel …
by Scott Smith
1 year ago
58. Naïveté vs. Experience – or, How We Thought We Cou…
by Scott Smith
1 year ago
57. Cryptol, a DSL for Cryptographic Algorithms by Sal…
by Scott Smith
1 year ago
56. Scaling Scala at Twitter by Marius Eriksen (Twitter)
by Scott Smith
1 year ago
55. F#: Embracing Functional Programming in Visual Stu…
by Scott Smith
1 year ago
54. Species and Functors and Types, Oh My! by Brent Yorgey
by Scott Smith
1 year ago
53. Supercompilation by Evaluation by Max Bolingbroke …
by Scott Smith
1 year ago
52. Hoopl: A Modular, Reusable Library for Dataflow An…
by Scott Smith
1 year ago
51. An LLVM Backend For GHC by David Terei and Manuel …
by Scott Smith
1 year ago
50. Experience Report: Scalable Event Handling for GHC…
by Scott Smith
1 year ago
49. Seq No More: Better Strategies for Parallel Haskel…
by Scott Smith
1 year ago
48. Concurrent Orchestration in Haskell by John Launch…
by Scott Smith
1 year ago
47. Nikola: Embedding Compiled GPU Functions in Haskel…
by Scott Smith
1 year ago
46. Experience Report: Using Hackage to Inform Languag…
by Scott Smith
1 year ago
45. Exchanging Sources Between Clean and Haskell: A Do…
by Scott Smith
1 year ago
44. A Generic Deriving Mechanism for Haskell by José P…
by Scott Smith
1 year ago
43. A Systematic Derivation of the STG Machine Verifie…
by Scott Smith
1 year ago
CUFP 2010
Baltimore, MD

Credits

Likes

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

Advertisement

About this video

MP4
00:29:00
  • 640x480, 67.72MB
  • Uploaded Thu November 11, 2010
  • Please join or log in to download

Statistics

Date Plays Comments
Totals 4,780 22 0
Feb 23rd 1 0 0
Feb 22nd 2 0 0
Feb 21st 2 0 0
Feb 20th 3 0 0
Feb 19th 6 0 0
Feb 18th 3 0 0
Feb 17th 3 0 0