Feed Me Data

[Haskell'26] Lightning Talk: Formalizing explicit alpha-equivalence

ACM SIGPLAN
47 views •

Lightning Talk: Formalizing explicit alpha-equivalence (Video, Haskell 2026) Aaron Stump (Boston College) Presentation at the Haskell 2026 symposium, August 28-29, 2026, https://icfp26.sigplan.org/home/haskellsymp-2026 Sponsored by ACM SIGPLAN.

Keyboard shortcuts

On. Switch them off if they collide with your assistive tools; ? still opens this sheet.

Go to

Press g then the letter.

  • gh Latest
  • gs Sources
  • gm Media
  • gv Videos
  • gp Podcasts
  • gc Calendar
  • gd Decoder
  • gz Dataviz
  • ga Datasets
  • gb Blog
  • gk Markets
  • gj Careers
  • gn Prompt Notebook

On this page

  • / Focus search, where there is one
  • t Back to top
  • ? This list
  • Esc Close