Pages that link to "Item:Q2946583"

The following pages link to Extending the loop language with higher-order procedural variables (Q2946583):

Displaying 2 items.

• Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← links)
• The efficiency of primitive recursive functions: a programmer's view (Q2355684) (← links)