Lattices are super important in static program analysis, and therefore in compiler construction. This book is quite famous in the field and all about lattices

Lattices are super important in static program analysis, and therefore in compiler construction. This book is quite famous in the field and all about lattices as you can infer from its cover: https://dl.acm.org/doi/book/10.5555/1965094 https://dl.acm.org/doi/book/10.5555/1965094 It's full of pseudocode and algorithms.