Pages that link to "Item:Q4787832"

From MaRDI portal

← Semantics of value recursion for Monadic Input/Output (Q4787832)

Jump to:navigation, search

The following pages link to Semantics of value recursion for Monadic Input/Output (Q4787832):

Displaying 3 items.

Shortcut fusion rules for the derivation of circular and higher-order programs (Q1929359) (← links)
An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry (Q3003516) (← links)
An abstract monadic semantics for value recursion (Q4659889) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"