Media Summary: Deep Programmability: A New Lens on Networking (Keynote, Fusing Industry and Academia at GitHub (Experience Report) (Video, Video captions supported by Jane Street. Full text of the papers are available from ...

Icfp 22 Staged Compilation With - Detailed Analysis & Overview

Deep Programmability: A New Lens on Networking (Keynote, Fusing Industry and Academia at GitHub (Experience Report) (Video, Video captions supported by Jane Street. Full text of the papers are available from ... Generalized Evidence Passing for Effect Handlers: Efficient Hi, this is , a PhD student at working with , , and . In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming ...

Conservativity of Two Level Type Theory Corresponds to Staged Compilation - Andras Kovacs

Photo Gallery

[ICFP'22] Staged Compilation with Two-Level Type Theory
[ICFP'22] Deep Programmability: A New Lens on Networking
[ICFP'22] Monadic Compiler Calculation (Functional Pearl)
Staged Selective Parser Combinators (ICFP 2020)
[ICFP'22] Fusing Industry and Academia at GitHub (Experience Report)
ICFP 2020 Session NY 2
Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C
[POPL'22] Staging with Class: A Specification for Typed Template Haskell
Compiling Effect Handlers in Capability-Passing Style (ICFP 2020)
Compiling Symbolic Execution with Staging and Algebraic Effects
Staging with Class (Teaser)
Multi-Stage Programming with Generative and Analytical Macros
View Detailed Profile
[ICFP'22] Staged Compilation with Two-Level Type Theory

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

Staged Compilation with

[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'22] Monadic Compiler Calculation (Functional Pearl)

[ICFP'22] Monadic Compiler Calculation (Functional Pearl)

Monadic

Staged Selective Parser Combinators (ICFP 2020)

Staged Selective Parser Combinators (ICFP 2020)

More info about this talk: https://icfp20.sigplan.org/details/

[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 2020 Session NY 2

ICFP 2020 Session NY 2

Video captions supported by Jane Street. Full text of the papers are available from ...

Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C

Generalized Evidence Passing for Effect Handlers: Efficient Compilation of Effect Handlers to C

Generalized Evidence Passing for Effect Handlers: Efficient

[POPL'22] Staging with Class: A Specification for Typed Template Haskell

[POPL'22] Staging with Class: A Specification for Typed Template Haskell

Staging

Compiling Effect Handlers in Capability-Passing Style (ICFP 2020)

Compiling Effect Handlers in Capability-Passing Style (ICFP 2020)

More info about this talk: ...

Compiling Symbolic Execution with Staging and Algebraic Effects

Compiling Symbolic Execution with Staging and Algebraic Effects

Hi, this is @GuannanWei, a PhD student at @PurdueCS working with @etaconversion, @ShangyinT, and @tiarkrompf.

Staging with Class (Teaser)

Staging with Class (Teaser)

Staging

Multi-Stage Programming with Generative and Analytical Macros

Multi-Stage Programming with Generative and Analytical Macros

In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming ...

Conservativity of Two Level Type Theory Corresponds to Staged Compilation - Andras Kovacs

Conservativity of Two Level Type Theory Corresponds to Staged Compilation - Andras Kovacs

Conservativity of Two Level Type Theory Corresponds to Staged Compilation - Andras Kovacs