Skip to content

Malcolm Wallace

@malcolmwallace4467 • 884 subscribers • 15 videos on Hallway • 29 recommendations

Open on YouTube

ICFP 2014: Depending on Types - Stephanie Weirich

Malcolm Wallace

Recommended by 312 years ago

Hidden gem

OCaml 2014: Multicore OCaml, Stephen Dolan

Malcolm Wallace

Recommended by 312 years ago

Hidden gem

HIW 2014: Lennart Augustsson: Better type-error messages

Malcolm Wallace

Recommended by 212 years ago

Hidden gem

Haskell 2014: Promoting Functions to Type Families in Haskell, Jan Stolarek

Malcolm Wallace

Recommended by 212 years ago

Hidden gem

ICFP 2014: Hindley-Milner Elaboration in Applicative Style (Functional Pearl) - Francois Pottier

Malcolm Wallace

Recommended by 212 years ago

Classic

ICFP 2012 Monday keynote. Conor McBride: Agda-curious?

Malcolm Wallace

Recommended by 214 years ago

Hidden gem

Haskell 2014: Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection

Malcolm Wallace

Recommended by 212 years ago

Hidden gem

ICFP 2014: Folding Domain-Specific Languages: Deep and Shallow Embeddings - Jeremy Gibbons

Malcolm Wallace

Recommended by 212 years ago

Classic

HIW 2012. Simon Peyton Jones: GHC Status Update.

Malcolm Wallace

Recommended by 114 years ago

ML Family 2014: 1ML - core and modules as one (Or: F-ing first-class modules)

Malcolm Wallace

Recommended by 212 years ago

Hidden gem

Haskell 2014: Keynote, Anil Madhavapeddy, UniKernels: Functional Operating System Design

Malcolm Wallace

Recommended by 212 years ago

Hidden gem

ICFP 2014: Safe Zero-Cost Coercions for Haskell - Richard A. Eisenberg

Malcolm Wallace

Recommended by 212 years ago

Hidden gem

Haskell Symposium 2012. Koen Claessen: Shrinking and showing functions

Malcolm Wallace

Recommended by 114 years ago

HIW 2012 Lightning. Niklas Broberg: Hmm.

Malcolm Wallace

Recommended by 114 years ago

ICFP 2012. Philip Wadler: Propositions as Sessions.

Malcolm Wallace

Recommended by 214 years ago

Hidden gem