Login / Signup

Realizing Monads in Interaction Nets via Generic Typed Rules.

Eugen JireschBernhard Gramlich
Published in: TAMC (2012)
Keyphrases