MOMI

swMATH9432MaRDI QIDQ21415FDOQ21415

Author name not available (Why is that?)

Cited In (4)

• A Framework for Type Safe Exchange of Mobile Code
• MOMI: a calculus for mobile mixins
• A calculus of open modules: call-by-need strategy and confluence
• A parametric calculus for mobile open code

This page was built for software: MOMI