ICFP 2012. Will Jones: Deconstraining DSLs.

(18:12)

ICFP 2012 Weds keynote. Peter Sewell: Tales from the jungle.

(59:59)

ICFP 2012. Philip Wadler: Propositions as Sessions.

(21:8)

ICFP 2012. Tim Sheard: Painless programming combining reduction and search.

(21:10)

ICFP 2012. Jörg Endrullis: On the complexity of equivalence of specifications of infinite

(20:11)

WGP @ ICFP 2012. Jaakko Järvi

(44:18)

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

(1:2:1econd)

[ICFP'23] Grand Ballroom 2

(9:41:53)

[ICFP'22] Deep Programmability: A New Lens on Networking

(46:44)

CppCon 2018: Bjarne Stroustrup “Concepts: The Future of Generic Programming (the future is here)”

(1:38:32)

[ICFP'23] Grand Ballroom 2

(8:38:)

ACM ICPC World Finals 2012 in Warsaw

(59:32)

2012 FTC World Championship: Edison field, final rounds.

(36:55)

ICFP 2012. Neil Mitchell: Shake before building - replacing Make with Haskell.

(16:36)

ICFP 2014: Depending on Types - Stephanie Weirich

(1:1econd)

[ICFP'23] Programming for the planet (Keynote)

(1:10:55)

Philip Wadler - Everything old is new again: Quoted domain specific languages - Curry On

(39:7)

ICFP 2012. Matthew Might: Introspective Pushdown Analysis of Higher-Order Programs.

(15:59)

ICFP 2012 Programming Contest results and awards. Presented by Edwin Brady.

(36:28)

ICFP 2012. ACM SIGPLAN awards.

(9:52)

ICFP 2012. Neelakantan Krishnaswami: Superficially Substructural Terms.

(15:57)

ICFP 2012. Geoffrey Mainland: Explicitly Heterogeneous Metaprogramming with MetaHaskell.

(17:17)

ICFP 2012. Gordon Stewart: Verified heap theorem prover by paramodulation.

(16:58)

ICFP 2012 Tuesday keynote. Kunle Olukotun: High Performance Embedded Domain Specific Languages.

(1:38)

ICFP 2012. Deian Stefan: Addressing covert termination and timing channels

(16:15)

ICFP 2012. Joshua Dunfield: Elaborating Intersection and Union Types.

(18:40)

ICFP 2012. Hugo Simões: Automatic Amortised Analysis of Dynamic Memory Allocation

(19:13)

ICFP 2012. Pierre-Evariste Dagand: Transporting functions across ornaments.

(17:40)