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 • 23 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

u/maninaliftin r/haskell • Mentions

On “Is there any simple explanation (or, better, implementation) of type inference for the simply typed lambda calculus in Haskell?”

http://dev.stephendiehl.com/fun/ Is very clear and beautiful You may also be interested in link to this video
4View on Reddit

u/mdormanin r/haskell • Mentions

On “Compose Conference: Talks now announced, only a few days left for earlybird tickets.”

link to this video is a playlist for last year.
3View on Reddit