Skip to content

Realizing Monads in Interaction Nets via Generic Typed Rules.

Eugen Jiresch, Bernhard Gramlich

VenueCTAMC
Year2012
ProceedingsTAMC

Browse the full TAMC paper archive.