Pages that link to "Item:Q4305334"
From MaRDI portal
The following pages link to A metalogic programming approach: language, semantics and applications (Q4305334):
Displaying 14 items.
- MetaSoft primer. Towards a metalanguage for applied denotational semantics (Q1095634) (← links)
- MetaML and multi-stage programming with explicit annotations (Q1583363) (← links)
- Theory and practice of unparsed patterns for metacompilation (Q2266943) (← links)
- (Q2721104) (← links)
- (Q2767169) (← links)
- Program Logics for Homogeneous Meta-programming (Q3066091) (← links)
- (Q3204068) (← links)
- (Q3806789) (← links)
- Abstract metaprolog engine (Q4208849) (← links)
- (Q4332413) (← links)
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)