Media Summary: A Completely Unique Account of Enumeration (Video, Deep Programmability: A New Lens on Networking (Keynote, Fusing Industry and Academia at GitHub (Experience Report) (Video,

Icfp 22 Datatype Generic Programming - Detailed Analysis & Overview

A Completely Unique Account of Enumeration (Video, Deep Programmability: A New Lens on Networking (Keynote, Fusing Industry and Academia at GitHub (Experience Report) (Video, Staged Compilation with Two-Level Type Theory (Video,

Photo Gallery

[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection
[ICFP'22] Practical Generic Programming over a Universe of Native Datatypes
[ICFP'22] A Completely Unique Account of Enumeration
[ICFP'23] Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat...
[TyDe'22]  Syntax-Generic Operations, Reflectively Reified (Extended Abstract)
Workshop on Generic Programming @ ICFP 2012.  Discussion
[ICFP'22] Linearly Qualified Types: Generic Inference for Capabilities and Uniqueness
[ICFP'22] Deep Programmability: A New Lens on Networking
ICFP 2012.  Joshua Dunfield: Elaborating Intersection and Union Types.
[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)
[ICFP'22] Staged Compilation with Two-Level Type Theory
System Fω with Equirecursive Types for Datatype-Generic Programming
View Detailed Profile
[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection

[ICFP'22] Datatype-Generic Programming Meets Elaborator Reflection

Datatype

[ICFP'22] Practical Generic Programming over a Universe of Native Datatypes

[ICFP'22] Practical Generic Programming over a Universe of Native Datatypes

Practical

[ICFP'22] A Completely Unique Account of Enumeration

[ICFP'22] A Completely Unique Account of Enumeration

A Completely Unique Account of Enumeration (Video,

[ICFP'23] Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat...

[ICFP'23] Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Dat...

Generic Programming

[TyDe'22]  Syntax-Generic Operations, Reflectively Reified (Extended Abstract)

[TyDe'22] Syntax-Generic Operations, Reflectively Reified (Extended Abstract)

Syntax-

Workshop on Generic Programming @ ICFP 2012.  Discussion

Workshop on Generic Programming @ ICFP 2012. Discussion

Workshop on

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

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

Linearly Qualified Types:

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

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

Deep Programmability: A New Lens on Networking (Keynote,

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

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

ICFP

[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)

[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)

Fusing Industry and Academia at GitHub (Experience Report) (Video,

[ICFP'22] Staged Compilation with Two-Level Type Theory

[ICFP'22] Staged Compilation with Two-Level Type Theory

Staged Compilation with Two-Level Type Theory (Video,

System Fω with Equirecursive Types for Datatype-Generic Programming

System Fω with Equirecursive Types for Datatype-Generic Programming

Yufei Cai.

10  Generic Lookup and Update for Infinitary Inductive Recursive Types

10 Generic Lookup and Update for Infinitary Inductive Recursive Types

Is on