Video

Unknown · 0:00

This talk (PLDI) presents "contextual embeddings," a new technique for representing embedded programming languages with variable binders (like let/lambda) that is simultaneously ergonomic to write, intrinsically typed...

Read the full summary on tuber