Recorded at Oregon Programming Languages Summer School 2013. www.cs.uoregon...
Lecture 1 Slides: www.cs.uoregon...
System F in GHC: www.cs.uoregon...
Kinds and GADTs: www.cs.uoregon...
Type Inference: www.cs.uoregon...
Fun with Type Functions: www.cs.uoregon...
Негізгі бет Музыка Adventure with Types in Haskell - Simon Peyton Jones (Lecture 3)
Пікірлер: 1