ICFP 2012. Will Jones: Deconstraining DSLs.

(18:12)

ICFP 2012. Philip Wadler: Propositions as Sessions.

(21:8)

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

(59:59)

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)

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

(36:28)

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

(15:59)

ICFP'21 Tutorials - Programming with Effect Handlers and FBIP in Koka

(2:27:29)

[ICFP'23] Grand Ballroom 2

(9:41:53)

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

(1:10:55)

HIW 2012. Simon Peyton Jones: GHC Status Update.

(29:1econd)

[ICFP'23] Grand Ballroom 2

(8:31:12)

[ICFP'23] Grand Ballroom 2

(8:38:)

[ICFP'22] Retrofitting Concurrency – Lessons from the Engine Room

(40:26)

[ICFP'23] Fifth Avenue

(5:54:50)

[Tutorials @ ICFP'22] Teaching functional programming

(2:51:5)

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

(16:36)

WGP @ ICFP 2012. Jaakko Järvi

(44:18)

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

(1:2:1econd)

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

(17:17)

ICFP 2012. ACM SIGPLAN awards.

(9:52)

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

(16:58)

ICFP 2012. Neelakantan Krishnaswami: Superficially Substructural Terms.

(15:57)

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. Roly Perera: Functional Programs that Explain their Work.

(17:28)