-
Building a web library using super hard Haskell
-
Building a web library using super hard Haskell
-
Idris for impractical Scala programmers
-
Using monads to enforce programming style your Boss likes
-
Obsługa błędów: EitherT, MonadError czy XD?
-
Iterators Lightning Talk
-
Idris for impractical Scala programmers
-
kebs
-
Path-dependent types
-
freem
-
Fun with Arrows@ScalaWAW
-
tap2
Unifikacja i programowanie logiczne
-
Fun with Arrows@chambers
-
Fun with Arrows