Top Videos
Top Searches
Mood & Genres
Autumn
Black Lives Matter
Chill
Christmas
Commute
Energy boosters
Feel-Good
Focus
Party
Romance
Sad
Sleep
Workout
African
Arabic
Blues
Bollywood & Indian
Classical
Country and Americana
Dance and electronic
Decades
Family
Folk and acoustic
German Hip-Hop
German Pop
Hip-Hop
Indie and alternative
J-Pop
Jazz
K-Pop
Latin
Mandopop & Cantopop
Metal
Pop
R&B and Soul
Reggae and Caribbean
Rock
Schlager
Soundtracks and musicals
Philip Wadler - “(Programming Languages) in Agda = Programming (Languages in Agda)” @ ZuriHac 2020
01:14:15
|
Download MP3
Related Videos
HaskellerZ - April 2020 - Niklas Hambüchen - Asynchronous and Parallel Programming in Haskell
Write a GHC extension in 30 minutes by Richard Eisenberg
M. Etter & F. Mehta: Towards Type-Directed API Search for Mainstream Languages
Eliane Schmidli -- An Introduction to Functional Reactive Programming and Yampa - HaskellerZ 2/2023
Cazim Hysi - Why is Haskell Haskell? - June 2022 - HaskellerZ
HaskellerZ - Feb 2018 - Getting things done in Haskell and Zurich Friends of Haskell
Maxim Koltsov - How to make the most out of servant
Veronika Romashkina: Lift Unliftable (and unlift liftable) @Zurihac21
GHC On "simple" constraints for typechecker plugins by Nicolas Frisby
HaskellerZ - May 2018 - Andreas Herrmann - GHC Hacking Newcomer Guide
HaskellerZ - February 2019 - Artem Chirkin - Experimenting with Constraints
A tour of linear types and linear base by Divesh Otwani
Opening & Talk by John Hughes "Testing smart contracts with QuickCheck" @ZuriHac21
HaskellerZ - June 2018 - Alex Silva - A tour of dependent types with Idris
Niklas Hambüchen - Writing a tool to graph job postings on r/haskell - HaskellerZ January 2023
Dominic Egger: Dynamic Logic for verifiable data collection processes - HaskellerZ September 2023
Auke Booij: What are exact real numbers? - HaskellerZ November 2023
HaskellerZ - November 2018 - Beth Aitman - A practical guide to making good documentation
Alexis King - “Effects for Less” @ ZuriHac 2020
Alexey Kuleshevich - Haskell's new random package interface - January 2021 - HaskellerZ
About
FAQ
DMCA
Disclaimer
Privacy
Terms
Contact
Article
Tubidy
© 2024 Tubidy
