Skip to content
Hallway
0:00 / 0:00

#dependenttypes#pi-forall#haskell

Compose Conference - Pi-Forall: How to use and implement a dependently-typed language

NYC Haskell User's Group

1.7K subscribers • 19 videos on Hallway

YouTube
  • Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
  • Presented by Dr. Stephanie Weirich

Advanced. Deep dive for people who know the field.

2.8K views11 years ago2 recommendations

Programming languagesComputer scienceLanguage design and type systemsCompilers and interpretersComputation and complexity

Dr. Stephanie Weirich explains how to use and implement Pi-Forall, a demo dependently-typed language written in Haskell.

C◦mp◦se :: Conference composeconference.org/ January 30, 2015 Pi-Forall: How to use and implement a dependently-typed language Keynote by Dr. Stephanie Weirich

Why it's here

2 people recommend this

What people say. Recommended as an excellent, accessible introduction to the mechanics and implementation of dependently-typed programming languages.

u/mightybytein r/haskell • Recommends

Compose Conference - Pi-Forall: How to use and implement a dependently-typed language
35View on Reddit

pushcxon Lobsters • Recommends

Pi-Forall: How to use and implement a dependently-typed language
11View on Lobsters