Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Balat, Vincent
and
Danvy, Olivier
2002.
Generative Programming and Component Engineering.
Vol. 2487,
Issue. ,
p.
78.
Sig Ager, Mads
Danvy, Olivier
and
Goldberg, Mayer
2002.
The Essence of Computation.
Vol. 2566,
Issue. ,
p.
296.
Rhiger, Morten
2003.
A foundation for embedded languages.
ACM Transactions on Programming Languages and Systems,
Vol. 25,
Issue. 3,
p.
291.
Neubauer, Matthias
and
Thiemann, Peter
2004.
Practical Aspects of Declarative Languages.
Vol. 3057,
Issue. ,
p.
56.
Garillot, François
and
Werner, Benjamin
2007.
Theorem Proving in Higher Order Logics.
Vol. 4732,
Issue. ,
p.
368.
Aehlig, Klaus
Haftmann, Florian
and
Nipkow, Tobias
2008.
Theorem Proving in Higher Order Logics.
Vol. 5170,
Issue. ,
p.
39.
Sheard, Timothy E.
2012.
Painless programming combining reduction and search.
p.
89.
Sheard, Timothy E.
2012.
Painless programming combining reduction and search.
ACM SIGPLAN Notices,
Vol. 47,
Issue. 9,
p.
89.
Tomé Cortiñas, Carlos
and
Valliappan, Nachiappan
2019.
Simple Noninterference by Normalization.
p.
61.
Valliappan, Nachiappan
Russo, Alejandro
and
Lindley, Sam
2021.
Practical normalization by evaluation for EDSLs.
p.
56.
Discussions
No Discussions have been published for this article.