Skip to content
Hallway
0:00 / 0:00

#haskell#levitypolymorphism#ghc

Richard A. Eisenberg - Levity Polymorphism

ECOOPLDI 2017

190 subscribers • 2 videos on Hallway

YouTube
  • Recommended by 1 person: 1 in engineering communities.
  • Presented by Richard A. Eisenberg

Advanced. Deep dive for people who know the field.

1.3K views9 years ago1 recommendation

Programming languagesSystems programmingLanguage design and type systemsCompilers and interpreters

Richard A. Eisenberg explains levity polymorphism, a GHC feature allowing abstraction over runtime representations of types.

Authors: Richard A. Eisenberg, Simon Peyton Jones Title: Levity Polymorphism Paper: pldi17.sigplan.org/event/pldi-2017-papers-levity-polymorphis… PLDI 2017 D2-T1-S2-P4

Why it's here

1 person recommends this

What people say. Recommended as a clear explanation of levity polymorphism in Haskell.

u/dtellerulamin r/haskell • Recommends

PLDI 2017 - Richard A. Eisenberg - Levity Polymorphism
42View on Reddit