Static Balance Checking for First-Class Modular Systems of Equations. - John Capper; Henrik Nilsson (Trends in Functional Programming, 2010)

Towards a formal semantics for a structurally dynamic noncausal modelling language. - John Capper; Henrik Nilsson (TLDI, 2012)

Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. - John Capper; Henrik Nilsson (High. Order Symb. Comput., 2012)

Semantic methods for functional hybrid modelling. - John Capper (2014)