MetaKlaim

MaRDI QIDQ14458swMATHFDO

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)

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

This page was built for software: MetaKlaim