diff --git a/poster/poster.typ b/poster/poster.typ
index 7af8b6f..19ffffa 100644
--- a/poster/poster.typ
+++ b/poster/poster.typ
@@ -121,7 +121,7 @@
     caption: [Implementation architecture overview]
   ) <fig:architecture>
 
-  First, typing rules were formally defined, drawing heavily on _Types and Progamming Languages_@tapl.
+  First, typing rules were formally defined, drawing heavily on _Types and Programming Languages_@tapl.
   The implementation of the parser for the definition language follows R. Nystrom's _Crafting Interpreters_@Nystrom2021. The whole system is itself implemented in Python, leveraging the language's own `ast` module to parse and manipulate source code.
   The type checker also includes some machinery to infer the result types of several *dataframe operations* and *aggregation methods*.
 ]
diff --git a/report/acronyms.typ b/report/acronyms.typ
index 984ac98..d4f68e8 100644
--- a/report/acronyms.typ
+++ b/report/acronyms.typ
@@ -1,7 +1,7 @@
 #import "@preview/acrostiche:0.7.0": *
 
 #let acronyms = (
-  "TaPL": ([Types and Progamming Languages@tapl],),
+  "TaPL": ([Types and Programming Languages@tapl],),
   "LSP": (link("https://en.wikipedia.org/wiki/Liskov_substitution_principle")[Liskov substitution principle],),
   "AST": ([Abstract Syntax Tree],),
   "LUB": ([Least Upper Bound],),