7 citations · 10 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan A. Bergstra, Alban Ponse
We define focus-method interfaces and some connections between such interfaces and instruction sequences, giving rise to instruction sequence components. We provide a flexible and…