Recorded at Oregon Programming Languages Summer School 2013. Lecture 1 Slides: System F in GHC: Kinds and GADTs: Type Inference: Fun with Type Functions:
- 67967Просмотров
- 1 десятилетие назадОпубликованоjasonofthel33t
Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
Похожее видео
Популярное
Новини