emi-h.com feed

emi-h.com ↗RSS feed ↗5 posts

Latest posts

A New mCRL2 Type System

Jun 11, 2026 · emilia-h

A Case Against Currying

Mar 21, 2026 · emilia-h

Typechecking mCRL2

Mar 20, 2026 · emilia-h

Wordle as a Two-Player Game

Mar 8, 2026 · emilia-h

Biconnected Components

Sep 21, 2025 · emilia-h