Incremental Dialyzer: How we made Dialyzer 7x Faster | Thomas Davies | Code BEAM America 2023 goes into the details. Since the presentation was made before 26.0-rc1 maybe something changed 
but it explains the concepts very well
Incremental Dialyzer: How we made Dialyzer 7x Faster | Thomas Davies | Code BEAM America 2023 goes into the details. Since the presentation was made before 26.0-rc1 maybe something changed but it explains the concepts very well