[popl'22] Moebius: Metaprogramming Using Contextual Types

2023 22:29
Synopsis
Moebius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself Junyoung Jang, ...

You Might Also Like

Moebius: Metaprogramming using Contextual Types (Teaser) 5:00
Moebius: Metaprogramming Using Contextual Types (teaser)
2022
[POPL'22] Logarithm and Program Testing 23:15
[popl'22] Logarithm And Program Testing
2023
[POPL'22] Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution 24:53
[popl'22] Bottom-up Synthesis Of Recursive Functional Progra...
2023
[POPL'22] Solving Constrained Horn Clauses Modulo Algebraic Data Types and Recursive Funct 25:01
[popl'22] Solving Constrained Horn Clauses Modulo Algebraic ...
2023
[POPL'22] A Cost-Aware Logical Framework 22:52
[popl'22] A Cost-aware Logical Framework
2023
[POPL'22] A Relational Theory of Effects and Coeffects 24:36
[popl'22] A Relational Theory Of Effects And Coeffects
2023
[POPL'22] Principles of Programming Language Translators 58:48
[popl'22] Principles Of Programming Language Translators
2023
[SRC POPL'22] Eleftherios Ioannidis -- Normalization-by-evaluation and Metaprogramming with PHOAS 2:59
[src Popl'22] Eleftherios Ioannidis -- Normalization-by-eval...
2022
[POPL'22] Tutorial: Data-driven program analysis 59:21
[popl'22] Tutorial: Data-driven Program Analysis
2023
[POPL'22] Staging with Class: A Specification for Typed Template Haskell 24:51
[popl'22] Staging With Class: A Specification For Typed Temp...
2023
[SRC POPL'22] Daniel Marshall -- Linearity, Uniqueness, Ownership: An Entente Cordiale 3:00
[src Popl'22] Daniel Marshall -- Linearity, Uniqueness, Owne...
2022
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.