aistrate
diff --git a/‎Haskell/Beautiful Differentiation (Elliott).pdf‎
268 KB b/‎Haskell/Beautiful Differentiation (Elliott).pdf‎
268 KB
diff --git a/‎Haskell/Denotational design with type class morphisms (Elliott).pdf‎
281 KB b/‎Haskell/Denotational design with type class morphisms (Elliott).pdf‎
281 KB
diff --git a/‎Haskell/Simple Unification-based Type Inference for GADTs (Peyton Jones, Vytiniotis, Weirich, Washburn).pdf‎
241 KB b/‎Haskell/Simple Unification-based Type Inference for GADTs (Peyton Jones, Vytiniotis, Weirich, Washburn).pdf‎
241 KB