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 Monday keynote. Conor McBride: Agda-curious?

(1:2:1econd)

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

(15:59)

2012 National Club Championships: Final Day, Match Highlights

(4:6)

[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness

(16:20)

Sémantiques mécanisées : quand la machine raisonne sur ses langages (1) - Xavier Leroy (2019-2020)

(1:52:41)

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

(46:44)

HIW 2012. Simon Peyton Jones: GHC Status Update.

(29:1econd)

ICF WC 2012 - CANOE SLALOM 2 - PAU, FRANCE

(26:)

ICFP 2014: Depending on Types - Stephanie Weirich

(1:1econd)

2012 FTC World Championship: Edison field, final rounds.

(36:55)

HIW 2012. Duncan Coutts: Cloud Haskell 2.0

(25:42)

ICFP Contest 2020 — How to Run the Galaxy, Part 1

(5:27)

WGP @ ICFP 2012. Jaakko Järvi

(44:18)

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. Joshua Dunfield: Elaborating Intersection and Union Types.

(18:40)

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

(16:15)

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)