•

NaN / NaN
Back
Search with your voice
Sign in

Malcolm Wallace

@malcolmwallace4467
•
885 subscribers•350 videos
Videos of Functional Programming talks at conferences such as ICFP.
Home
Videos
Playlists
 

Videos

5:50
5:50
Now playing

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles (pt III) - Kathleen Fisher
363 views10 years ago
30:02
30:02
Now playing

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles (pt II) - Kathleen Fisher
300 views10 years ago
30:01
30:01
Now playing

ICFP 2014: Using Formal Methods to Enable More Secure Vehicles: Kathleen Fisher
1.3K views10 years ago
27:34
27:34
Now playing

CUFP 2014: Haskell tools for satellite operations - Björn Buckwalter
940 views10 years ago
5:33
5:33
Now playing

HIW 2014: Michael Adams: Optimizing SYB
221 views10 years ago
4:21
4:21
Now playing

HIW 2014: Gershom Bazerman: New www.haskell.org
265 views10 years ago

Created playlists

22 videos

HIW 2014

View full playlist
12 videos

CUFP 2014

View full playlist
27 videos

ICFP 2014

View full playlist
124 videos

ICFP 2014 Workshops

View full playlist
15 videos

ICFP 2012

View full playlist

 …

NaN / NaN