Skip to content
Hallway
0:00 / 0:00

#dependenttypes#typesystems#oplss

Designing Dependently-Typed Programming Languages - Lecture 1 - Stephanie Weirich

Hadi Moshayedi

92 subscribers • 2 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Stephanie Weirich

Advanced. Deep dive for people who know the field.

2.1K views11 years ago2 recommendations

Programming languagesComputer scienceLanguage design and type systemsComputation and complexityFunctional programming

Stephanie Weirich introduces the design and implementation of dependently-typed programming languages in this summer school lecture.

Oregon Programming Languages Summer School — June 16-28, 2014

Why it's here

2 people recommend this

What people say. Recommended as an immensely helpful lecture series for learning how to implement dependent types.

u/dhruvrajvanshiin r/ProgrammingLanguages • Recommends

On “William J. Bowman, Ph.D. - Compiling with Dependent Types.”

If you prefer lectures, Stephanie Weirich's lecture series is there on YouTube which was immensely helpful for me. I think it was called Implementing Dependent types or something Edit: link to this video
6View on Reddit

u/recklesslysensiblein r/ProgrammingLanguages • Recommends

On “Monthly "What are you working on? How is it coming along?" thread - Happy New Year! - January '18”

I found that tutorial really helpful. There's also this series of video lectures.
3View on Reddit