scientific article; zbMATH DE number 2080286

MaRDI QIDQ4472540zbMATH OpenFDO

Authors Cristiano Calcagno, Eugenio Moggi

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1924/19240092.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Closed types for a safe imperative MetaML
• scientific article; zbMATH DE number 1670811
• A polymorphic modal type system for Lisp-like multi-staged languages
• On Cross-Stage Persistence in Multi-Stage Programming
• MetaML and multi-stage programming with explicit annotations

Cited in

(1)

• scientific article; zbMATH DE number 1670811 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472540)