Icfp 21 Tutorials Teaching Functional

Media Summary: 00:00:00 - Introduction. 00:01:57 - Part 1: Koka: Demo, Performance, Status, Syntax, and Effect Typing. 00:35:04 - Part 2: ... A contextual formalization of structural coinduction (Video, SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs More info about this talk: ...

Icfp 21 Tutorials Teaching Functional - Detailed Analysis & Overview

00:00:00 - Introduction. 00:01:57 - Part 1: Koka: Demo, Performance, Status, Syntax, and Effect Typing. 00:35:04 - Part 2: ... A contextual formalization of structural coinduction (Video, SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs More info about this talk: ...

Photo Gallery

ICFP'21 Tutorials - Teaching Functional Programming

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

PLMW ICFP21 - How to Write Papers So People Can Read Them

01 Observations of a Functional Programmer

[Tutorials @ ICFP'22] Teaching functional programming

ICFP 2012. Roly Perera: Functional Programs that Explain their Work.

Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming

ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride

[ICFP'25] [JFP] How much is in a square? Calculating functional programs with squares

3 10 The Best of Both Worlds: Linear Functional Programming without Compromise

[PLMW @ ICFP24] Getting the Most Out of ICFP

[ICFP/SPLASH'25] Video Conference Room - FARM (Oct 12th)

View Detailed Profile

ICFP'21 Tutorials - Teaching Functional Programming

ICFP'21 Tutorials - Teaching Functional Programming

https://icfp21.sigplan.org/details/

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

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

00:00:00 - Introduction. 00:01:57 - Part 1: Koka: Demo, Performance, Status, Syntax, and Effect Typing. 00:35:04 - Part 2: ...

PLMW ICFP21 - How to Write Papers So People Can Read Them

PLMW ICFP21 - How to Write Papers So People Can Read Them

https://icfp21.sigplan.org/details/PLMW-

01 Observations of a Functional Programmer

01 Observations of a Functional Programmer

Where we

[Tutorials @ ICFP'22] Teaching functional programming

[Tutorials @ ICFP'22] Teaching functional programming

You want to

ICFP 2012. Roly Perera: Functional Programs that Explain their Work.

ICFP 2012. Roly Perera: Functional Programs that Explain their Work.

ICFP

Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming

Fun, Funky, Functional: The Pursuit of Better User Interfaces for Programming

Presented at

ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride

ICFP 2014: How to Keep Your Neighbours in Order - Conor McBride

International Conference on

[ICFP'25] [JFP] How much is in a square? Calculating functional programs with squares

[ICFP'25] [JFP] How much is in a square? Calculating functional programs with squares

How much is in a square? Calculating

3 10 The Best of Both Worlds: Linear Functional Programming without Compromise

3 10 The Best of Both Worlds: Linear Functional Programming without Compromise

... is the International Conference on

[PLMW @ ICFP24] Getting the Most Out of ICFP

[PLMW @ ICFP24] Getting the Most Out of ICFP

Getting the Most Out of

[ICFP/SPLASH'25] Video Conference Room - FARM (Oct 12th)

[ICFP/SPLASH'25] Video Conference Room - FARM (Oct 12th)

Full program: https://conf.researchr.org/program/

ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey

ICFP 2014:On Teaching How to Design Programs: Observations from a Newcomer - Norman Ramsey

International Conference on

ICFP 2014: Practical and Effective Higher-Order Optimizations - Lars Bergstrom

ICFP 2014: Practical and Effective Higher-Order Optimizations - Lars Bergstrom

International Conference on

[ICFP'25] [JFP] A contextual formalization of structural coinduction

[ICFP'25] [JFP] A contextual formalization of structural coinduction

A contextual formalization of structural coinduction (Video,

ICFP 2012 postgraduate student poster session. Ki Yung Ahn.

ICFP 2012 postgraduate student poster session. Ki Yung Ahn.

ICFP

[ICFP'25] [JFP] OCaml Blockly

[ICFP'25] [JFP] OCaml Blockly

OCaml Blockly (Video,

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... (ICFP 2020)

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs More info about this talk: ...

ICFP 2014: Coeffects: A Calculus of Context-Dependent Computation - Tomas Petricek

ICFP 2014: Coeffects: A Calculus of Context-Dependent Computation - Tomas Petricek

International Conference on

Related Video Content

Welcome to ICFP: A Community, Movement, and Platform of SRHR Experts - ICFP information

ICFP is a strong community of advocates, political leaders, scientists, researchers, policymakers, practitioners,...

ICFP Programming Contest - Wikipedia information

The ICFP Programming Contest is an international programming competition held annually around June or July since...

ICFP 2026 information

Welcome to the website of the ICFP 2026 conference. We are working hard to fill the website with all related...

The International Conference on Functional Programming information

The conference provides a forum for researchers and developers to hear about the latest work on the design,...

Students Reflect on Their ICFP Experiences - Johns Hopkins Bloomberg ... information

Jan 22, 2026 · ICFP 2025 was more than a conference for PFRH students. It was a formative professional experience...