Skip to content

Bimonadic Semantics for Basic Pattern Matching Calculi.

Wolfram Kahl, Jacques Carette, Xiaoheng Ji

VenueBMPC
Year2006
ProceedingsMPC

Browse the full MPC paper archive.