scientific article; zbMATH DE number 2036328

zbMATH Open1030.68536MaRDI QIDQ4445765FDOQ4445765

Tim Sheard

Publication date: 2 February 2004

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

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4133469
• In praise of impredicativity: a contribution to the formalization of meta-programming
• Directly reflective meta-programming
• Program Logics for Homogeneous Meta-programming
• scientific article; zbMATH DE number 2000459

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (1)

• A type system for reflective program generators

Uses Software

• Twelf
• DyC

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 Q4445765)