Type-theoretic design patterns. - Ondrej Rypacek; Roland Carl Backhouse; Henrik Nilsson (ICFP-WGP, 2006)

The Expression Lemma. - Ralf Lämmel; Ondrej Rypacek (MPC, 2008)

Distributive laws in programming structures. - Ondrej Rypacek (2010)

A Syntactical Approach to Weak omega-Groupoids. - Thorsten Altenkirch; Ondrej Rypacek (CSL, 2012)

Correctness of Object Oriented Models by Extended Type Inference. - Simon Foster 001; Ondrej Rypacek; Georg Struth (ICTAC, 2012)

An Investigation of the Laws of Traversals - Mauro Jaskelioff; Ondrej Rypacek (MSFP, 2012)

Some constructions on ω-groupoids. - Thorsten Altenkirch; Nuo Li; Ondrej Rypacek (LFMTP, 2014)