MetaKlaim

swMATH1810MaRDI QIDQ14458FDOQ14458

Author name not available (Why is that?)

Official website: http://www.disi.unige.it/person/MoggiE/ftp/mscs03.pdf

Described by source

• MetaKlaim: a type safe multi-stage language for global computing

Cited In (7)

• Experiences with an object-oriented, multi-stage language
• Klava
• Metaphor
• SCELlight
• The Kell calculus: operational semantics and type system.
• Security Policies as Membranes in Systems for Global Computing
• A formal approach to the engineering of domain-specific distributed systems

This page was built for software: MetaKlaim