··········0%

home about blog

Writing

#semantics

Everything tagged "semantics".

Filters

Type

All
Articles
Notes

Active series

Software Design
Foundations of Programming Languages
Engineering at Car & Classic
All series (4) →

Tags

case-study 5
performance 5
architecture 3
frontend 3
software-architecture 3
software-design 3
semantics 2

All tags (19)

vue 3
backend 2
modularity 2
programming-languages 2
types 2
accessibility 1
career 1
haskell 1
inertia 1
logic 1
open-source 1
seo 1

Type

All
Articles
Notes

Active series

Software Design
Foundations of Programming Languages
Engineering at Car & Classic
All series (4) →

Tags

case-study 5
performance 5
architecture 3
frontend 3
software-architecture 3
software-design 3
semantics 2

All tags (19)

vue 3
backend 2
modularity 2
programming-languages 2
types 2
accessibility 1
career 1
haskell 1
inertia 1
logic 1
open-source 1
seo 1

2026-09-15
Arithmetic expressions: terms, derivations and a first interpreter
Foundations of Programming Languages · 2/2
6 min
2026-09-15
Reading programming language papers: the notation, from sets to inference rules
Foundations of Programming Languages · 1/2
7 min

Home About Blog RSS Privacy

GitHub LinkedIn Instagram Email

try: sudo© 2026