![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() | Digging for Fold: Synthesis-Aided API Discovery for Haskell (ACM SIGPLAN) View |
![]() | Haskell's Folds, Guards u0026 List Comprehensions! (Flavio Corpa) View |
![]() | Programming Paradigms - Session 2 (Typed functional programming), section 2 (Hans Hüttel) View |
![]() | haskell partially applied function to n-th argument (Evgeniy M) View |
![]() | Haskell ValueConstructor,TypeConstructor, Kind. Part 1 of 6. (Abbas A) View |
![]() | Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell (ACM SIGPLAN) View |
![]() | Programming with a Read-Eval-Synth Loop (ACM SIGPLAN) View |
![]() | Build Scripts with Perfect Dependencies (ACM SIGPLAN) View |
![]() | Demo: Interactive Program Synthesis by Augmented Examples (UIST 2020) (Tianyi Zhang) View |
![]() | Featherweight Go (ACM SIGPLAN) View |