Pages that link to "Item:Q5170281"
From MaRDI portal
The following pages link to Recursive Functions with Pattern Matching in Interaction Nets (Q5170281):
Displaying 6 items.
- Compilation of extended recursion in call-by-value functional languages (Q848739) (← links)
- On recurrent and recursive interconnection patterns (Q1077935) (← links)
- Refined compilation of pattern-matching for functional languages (Q1123586) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Interaction nets with nested pattern matching (Q2870316) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)