Bringing Down the Cost of Verification • Gabriele Keller • YOW! 2016

This presentation was recorded at YOW! 2016. #GOTOcon #YOW https://yowcon.com Gabriele Keller - Associate Professor at University of New South Wales RESOURCES https://www.linkedin.com/in/gabriele-keller-2347914 https://x.com/gckeller https://www.uu.nl/staff/GKKeller RECOMMENDED BOOKS Barry Jay & Jose Vergar • Reflective Programs in Tree Calculus • https://amzn.to/4ftW97Y Barry Jay • Pattern Calculus • https://amzn.to/3DpJDZY https://bsky.app/profile/gotocon.com https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.instagram.com/goto_con https://www.facebook.com/GOTOConferences #FunctionalProgramming #Rustlang #Haskell #Verification #CostOfVerification #SoftwareEngineering #Programming #GabrieleKeller #SoftwareDevelopment #YOWcon CHANNEL MEMBERSHIP BONUS Join this channel to get early access to videos & other perks: https://www.youtube.com/channel/UCs_tLP3AiwYKwdUHpltJPuA/join Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1