List of videos
Philipp Kant - Fusing Flexibility with Formality (...) - Lambda Days 2020
Fusing Flexibility with Formality: Practical Experience with Agile Formal Methods in Large-Scale Functional Programming This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/philipp-kant Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Lukas Schiller - Placement Strategies (...) - Lambda Days 2020
Placement Strategies: Structured Skeleton Composition with Location Aware Remote Data This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/lukas-schiller Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Agustín Mista - Automated Reification of Source Annotations for Monadic EDSLs - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/agustin-mista Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Maciej Piróg - Effect Handlers: A New Approach to Computational Effects - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/maciej-pirog Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Enzo Alda, Javier López - Functional Programming for End-Users - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/enzo-alda https://www.lambdadays.org/lambdadays2020/javier-lopez Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Stien Vanderhallen - How to Go Eff Without a Hitch (...) - Lambda Days 2020
How to Go Eff Without a Hitch: On Efficient Compilation from Eff to OCaml This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/stien-vanderhallen Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Oliver Strickson - A functional tour of automatic differentiation - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/oliver-strickson Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Seyed Hossein Haeri, Peter Van Roy - A Family of λ-Calculi with Ports - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/peter-van-roy https://www.lambdadays.org/lambdadays2020/seyed-hossein-haeri Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch
Thomas Gebert, Nick Misturak - Distributed Programming, Hash Tables, and fun! - Lambda Days 2020
This video was recorded at Lambda Days 2020 http://www.lambdadays.org/lambdadays2020 Get involved in Lambda Days' next conference http://www.lambdadays.org Learn more about the talk: https://www.lambdadays.org/lambdadays2020/thomas-gebert https://www.lambdadays.org/lambdadays2020/nick-misturak Lambda Days Website: www.lambdadays.org Twitter: www.twitter.com/LambdaDays Facebook: https://www.facebook.com/lambdadays LinkedIn: https://www.linkedin.com/company/11840018/
Watch