YoVDO

Hashing Modulo Alpha Equivalence

Offered By: GOTO Conferences via YouTube

Tags

GOTO Conferences Courses Software Development Courses Haskell Courses Functional Programming Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking technique for efficient hashing modulo alpha-equivalence in this conference talk from YOW! 2021. Delve into Simon Peyton Jones' innovative approach to identifying identical subtrees in program syntax trees, robust to alpha-renaming. Learn about the key insight of using a weak, commutative hash combiner to achieve O(n*(log n)^2) time complexity while maintaining low collision probability. Gain valuable insights into functional programming, Haskell, and the Glasgow Haskell Compiler (GHC) from one of the field's leading experts. Discover how this method can revolutionize program analysis and optimization in various applications.

Syllabus

Hashing Modulo Alpha Equivalence • Simon Peyton Jones • YOW! 2021


Taught by

GOTO Conferences

Related Courses

Introduction to Functional Programming
Delft University of Technology via edX Functional Programming in Haskell
Chennai Mathematical Institute via Swayam An introduction to Haskell Programming
Chennai Mathematical Institute via Swayam Functional Programming in Haskell: Supercharge Your Coding
University of Glasgow via FutureLearn Introduction To Haskell Programming
Chennai Mathematical Institute via Swayam